Skip to main content

module analysis::graphs::LabeledGraph

rascal-0.34.0

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)