dk.brics.bisimulationGame.equiv
Class PGNode
java.lang.Object
dk.brics.bisimulationGame.equiv.PGNode
public class PGNode
- extends java.lang.Object
A node in a pair graph.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
Constructor Summary |
PGNode(int id)
Used for creating the accept node. |
PGNode(att.grappa.Node left,
att.grappa.Node right,
int id)
|
Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
PGNode
public PGNode(int id)
- Used for creating the accept node.
PGNode
public PGNode(att.grappa.Node left,
att.grappa.Node right,
int id)
getLeft
public att.grappa.Node getLeft()
getRight
public att.grappa.Node getRight()
equals
public boolean equals(java.lang.Object other)
- Overrides:
equals
in class java.lang.Object
getId
public int getId()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object