dk.brics.bisim.equiv
Class StrongSuccessor
java.lang.Object
dk.brics.bisim.equiv.AbstractSuccessor
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
|
Constructor Summary |
StrongSuccessor(java.lang.String edgeLabel,
java.lang.String edgeName,
att.grappa.Node toNode)
Constructs a strong successor. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
edgeName
private java.lang.String edgeName
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 edgetoNode
- A to-node
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