dk.brics.bisim.equiv
Interface Successor
- All Known Implementing Classes:
- StrongSuccessor, WeakSuccessor
public interface Successor
Interface of a successor to a node.
A successor has an edge label, a to-node, a list of edge names and it may be weak
in which case the list of edge names may have length greater than 1.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
getEdgeLabel
java.lang.String getEdgeLabel()
getToNode
att.grappa.Node getToNode()
isWeak
boolean isWeak()
getEdgeNames
java.util.ArrayList<java.lang.String> getEdgeNames()