Synopsis Reachability from given start set of nodes with restrictions.
Function
set[&T] reachR(LGraph[&T,&L] G, set[&T] Start, set[&T] Restr)
Usage
import analysis::graphs::LabeledGraph;