static class AbstractPO.Vertex extends Object
Modifier and Type | Field and Description |
---|---|
private ClassAxiom |
axiom |
private Pair<Sort,IObserverFunction> |
core |
(package private) int |
index
the index (number of already visited nodes) and -1 if not yet visited
|
(package private) int |
lowLink
an SCC is identified by the node that was visited first
|
(package private) boolean |
onStack
to avoid linear lookup in the stack
|
Constructor and Description |
---|
AbstractPO.Vertex(Pair<Sort,IObserverFunction> vertexCore,
ClassAxiom axiom,
boolean onStack,
int index,
int lowLink) |
private final ClassAxiom axiom
private final Pair<Sort,IObserverFunction> core
boolean onStack
int index
int lowLink
public AbstractPO.Vertex(Pair<Sort,IObserverFunction> vertexCore, ClassAxiom axiom, boolean onStack, int index, int lowLink)