dk.brics.bisim.equiv
Class AbstractSuccessor
java.lang.Object
dk.brics.bisim.equiv.AbstractSuccessor
- Direct Known Subclasses:
- Capability, StrongSuccessor, WeakSuccessor
public abstract class AbstractSuccessor
- extends java.lang.Object
An abstract successor represents an outgoing edge and a to-node.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
Field Summary |
protected java.lang.String |
edgeLabel
|
protected boolean |
isWeak
|
protected att.grappa.Node |
toNode
|
Constructor Summary |
AbstractSuccessor(java.lang.String edgeLabel,
att.grappa.Node toNode,
boolean isWeak)
Constructs an abstract successor and sets the fields. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
edgeLabel
protected java.lang.String edgeLabel
toNode
protected att.grappa.Node toNode
isWeak
protected boolean isWeak
AbstractSuccessor
public AbstractSuccessor(java.lang.String edgeLabel,
att.grappa.Node toNode,
boolean isWeak)
- Constructs an abstract successor and sets the fields.
- Parameters:
edgeLabel
- The label of the edgetoNode
- The to-nodeisWeak
- If this successor is weak
getEdgeLabel
public java.lang.String getEdgeLabel()
- Returns:
- The edge label
isWeak
public boolean isWeak()
- Returns:
- If the successor is weak
getToNode
public att.grappa.Node getToNode()
- Returns:
- The to-node