static class AbstractPO.Vertex
extends java.lang.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(java.lang.Object o) |
(package private) ClassAxiom |
getAxiom() |
int |
hashCode() |
boolean onStack
int index
int lowLink
private final ClassAxiom axiom
private final Pair<Sort,IObserverFunction> core
public Vertex(Pair<Sort,IObserverFunction> vertexCore, ClassAxiom axiom, boolean onStack, int index, int lowLink)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
ClassAxiom getAxiom()