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

Method Summary
 java.lang.String getEdgeLabel()
           
 java.util.ArrayList<java.lang.String> getEdgeNames()
           
 att.grappa.Node getToNode()
           
 boolean isWeak()
           
 

Method Detail

getEdgeLabel

java.lang.String getEdgeLabel()

getToNode

att.grappa.Node getToNode()

isWeak

boolean isWeak()

getEdgeNames

java.util.ArrayList<java.lang.String> getEdgeNames()