dk.brics.bisim.equiv
Class WeakSuccessor

java.lang.Object
  extended by dk.brics.bisim.equiv.AbstractSuccessor
      extended by 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
           
 
Fields inherited from class dk.brics.bisim.equiv.AbstractSuccessor
edgeLabel, isWeak, toNode
 
Constructor Summary
WeakSuccessor(java.lang.String edgeLabel, att.grappa.Node toNode)
           
 
Method Summary
 void addEdgeNames(java.util.ArrayList<java.lang.String> names)
           
 boolean equals(java.lang.Object other)
           
private  boolean equals(WeakSuccessor other)
           
 java.util.ArrayList<java.lang.String> getEdgeNames()
           
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class dk.brics.bisim.equiv.AbstractSuccessor
getEdgeLabel, getToNode, isWeak
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface dk.brics.bisim.equiv.Successor
getEdgeLabel, getToNode, isWeak
 

Field Detail

edgeNames

private java.util.ArrayList<java.lang.String> edgeNames
Constructor Detail

WeakSuccessor

public WeakSuccessor(java.lang.String edgeLabel,
                     att.grappa.Node toNode)
Method Detail

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