dk.brics.bisimulationGame.equiv
Class CGNode

java.lang.Object
  extended by dk.brics.bisimulationGame.equiv.CGNode

public class CGNode
extends java.lang.Object

A node in a configuration graph.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
private  int id
           
private  att.grappa.Node left
           
private  att.grappa.Node right
           
 
Constructor Summary
CGNode(int id)
          Used for creating the accept node.
CGNode(att.grappa.Node left, att.grappa.Node right, int id)
          Constructs a configuration.
 
Method Summary
private  boolean equals(CGNode other)
           
 boolean equals(java.lang.Object other)
           
 int getId()
          Returns the ID.
 att.grappa.Node getLeft()
          Returns the left node.
 att.grappa.Node getRight()
          Returns the right node.
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

left

private att.grappa.Node left

right

private att.grappa.Node right

id

private int id
Constructor Detail

CGNode

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

Parameters:
id - Node ID

CGNode

public CGNode(att.grappa.Node left,
              att.grappa.Node right,
              int id)
Constructs a configuration.

Parameters:
left - The left node
right - The right node
id - The ID of this configuration node
Method Detail

getLeft

public att.grappa.Node getLeft()
Returns the left node.

Returns:
The left node

getRight

public att.grappa.Node getRight()
Returns the right node.

Returns:
The right node

equals

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

equals

private boolean equals(CGNode other)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

getId

public int getId()
Returns the ID.

Returns:
The ID

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object