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 |
---|
Vertex(Pair<Sort,IObserverFunction> vertexCore,
ClassAxiom axiom,
boolean onStack,
int index,
int lowLink) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
(package private) ClassAxiom |
getAxiom() |
int |
hashCode() |
private final ClassAxiom axiom
private final Pair<Sort,IObserverFunction> core
boolean onStack
int index
int lowLink
public Vertex(Pair<Sort,IObserverFunction> vertexCore, ClassAxiom axiom, boolean onStack, int index, int lowLink)