|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisim.equiv.CGNode
public class CGNode
A node in a configuration graph.
Field Summary | |
---|---|
private int |
distance
|
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 |
getDistance()
|
int |
getId()
Returns the ID. |
att.grappa.Node |
getLeft()
Returns the left node. |
att.grappa.Node |
getRight()
Returns the right node. |
int |
hashCode()
|
void |
setDistance(int distance)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private att.grappa.Node left
private att.grappa.Node right
private int id
private int distance
Constructor Detail |
---|
public CGNode(int id)
id
- Node IDpublic CGNode(att.grappa.Node left, att.grappa.Node right, int id)
left
- The left noderight
- The right nodeid
- The ID of this configuration nodeMethod Detail |
---|
public att.grappa.Node getLeft()
public att.grappa.Node getRight()
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
private boolean equals(CGNode other)
public int hashCode()
hashCode
in class java.lang.Object
public int getId()
public java.lang.String toString()
toString
in class java.lang.Object
public int getDistance()
public void setDistance(int distance)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |