Skip to main content

module analysis::graphs::LabeledGraph

rascal-Not specified

Usage​

import analysis::graphs::LabeledGraph;

Dependencies​

import analysis::graphs::Graph;
import Relation;

alias LGraph​

rel[&T from, &L label, &T to]

function bottom​

Return the bottom nodes of a LGraph.

set[&T] bottom(LGraph[&T,&L] G)

function predecessors​

The predecessors of a single node in a LGraph.

set[&T] predecessors(LGraph[&T,&L] G, &T From)

function reach​

Reachability from a given start set of nodes.

set[&T] reach(LGraph[&T,&L] G, set[&T] Start)

function reachR​

Reachability from given start set of nodes with restrictions.

set[&T] reachR(LGraph[&T,&L] G, set[&T] Start, set[&T] Restr)

function reachX​

Reachability from given start set of nodes with exclusions.

set[&T] reachX(LGraph[&T,&L] G, set[&T] Start, set[&T] Excl)

function successors​

The successors of a single node in a LGraph.

set[&T] successors(LGraph[&T, &L] G, &T From)

function top​

Return the top nodes of a LGraph.

set[&T] top(LGraph[&T,&L] G)