dk.brics.bisimulationGame.equiv
Class PGNode

java.lang.Object
  extended by 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)
           
 
Method Summary
 boolean equals(java.lang.Object other)
           
 int getId()
           
 att.grappa.Node getLeft()
           
 att.grappa.Node getRight()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PGNode

public PGNode(int id)
Used for creating the accept node.


PGNode

public PGNode(att.grappa.Node left,
              att.grappa.Node right,
              int id)
Method Detail

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