| Package | Description |
|---|---|
| imop.lib.getter |
The visitors present in this package are used to perform various types of
queries on the AST of the input program.
|
| Modifier and Type | Method and Description |
|---|---|
static <T> java.util.HashSet<T> |
CollectorVisitor.collectNodeSetInGenericGraph(java.util.Set<T> startPoints,
java.util.Set<T> endPoints,
java.util.function.Predicate<T> terminationCheck,
CollectorVisitor.NeighbourSetGetter<T> nextLayerFinder)
A generic method that is used to traverse a graph until certain
conditions are met, and collect the set of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
|
static <T> java.util.HashSet<T> |
CollectorVisitor.collectNodeSetInGenericGraph(T startPoint,
java.util.Set<T> endPoints,
java.util.function.Predicate<T> terminationCheck,
CollectorVisitor.NeighbourSetGetter<T> nextLayerFinder)
A generic method that is used to traverse a graph until certain
conditions are met, and collect the set of nodes that lie on the
traversed path, as well as nodes where the paths terminate.
|