dk.brics.bisim.equiv
Class WeakSuccessor
java.lang.Object
dk.brics.bisim.equiv.AbstractSuccessor
dk.brics.bisim.equiv.WeakSuccessor
- All Implemented Interfaces:
- Successor
public class WeakSuccessor
- extends AbstractSuccessor
- implements Successor
A weak successor. It contains a list of edge names which are useful for coloring
edges.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
Field Summary |
private java.util.ArrayList<java.lang.String> |
edgeNames
|
Constructor Summary |
WeakSuccessor(java.lang.String edgeLabel,
att.grappa.Node toNode)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
edgeNames
private java.util.ArrayList<java.lang.String> edgeNames
WeakSuccessor
public WeakSuccessor(java.lang.String edgeLabel,
att.grappa.Node toNode)
addEdgeNames
public void addEdgeNames(java.util.ArrayList<java.lang.String> names)
getEdgeNames
public java.util.ArrayList<java.lang.String> getEdgeNames()
- Specified by:
getEdgeNames
in interface Successor
equals
public boolean equals(java.lang.Object other)
- Overrides:
equals
in class java.lang.Object
equals
private boolean equals(WeakSuccessor other)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object