dk.brics.bisim.equiv
Class StrongSuccessor

java.lang.Object
  extended by dk.brics.bisim.equiv.AbstractSuccessor
      extended by dk.brics.bisim.equiv.StrongSuccessor
All Implemented Interfaces:
Successor

public class StrongSuccessor
extends AbstractSuccessor
implements Successor

The successor of a node. It consists of the edge and the to-node. A weak successor is one that an attacker may not choose. A weak successor does not have a Grappa Edge. Used in successor maps.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
private  java.lang.String edgeName
           
 
Fields inherited from class dk.brics.bisim.equiv.AbstractSuccessor
edgeLabel, isWeak, toNode
 
Constructor Summary
StrongSuccessor(java.lang.String edgeLabel, java.lang.String edgeName, att.grappa.Node toNode)
          Constructs a strong successor.
 
Method Summary
 boolean equals(java.lang.Object other)
           
private  boolean equals(StrongSuccessor 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

edgeName

private java.lang.String edgeName
Constructor Detail

StrongSuccessor

public StrongSuccessor(java.lang.String edgeLabel,
                       java.lang.String edgeName,
                       att.grappa.Node toNode)
Constructs a strong successor.

Parameters:
edgeLabel - The label of the edge
toNode - A to-node
Method Detail

equals

public boolean equals(java.lang.Object other)
Overrides:
equals in class java.lang.Object

equals

private boolean equals(StrongSuccessor 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

getEdgeNames

public java.util.ArrayList<java.lang.String> getEdgeNames()
Specified by:
getEdgeNames in interface Successor