|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisimulationGame.equiv.CGEdge
public class CGEdge
An edge in a configuration graph.
Field Summary | |
---|---|
private int |
headId
|
private boolean |
isLeftWeak
|
private boolean |
isRightWeak
|
private java.lang.String |
leftAction
|
private java.lang.String |
leftNodeName
|
private java.lang.String |
rightAction
|
private java.lang.String |
rightNodeName
|
private int |
tailId
|
Constructor Summary | |
---|---|
CGEdge(int tailId,
int headId,
java.lang.String leftAction,
java.lang.String leftNodeName,
boolean isLeftWeak,
java.lang.String rightAction,
java.lang.String rightNodeName,
boolean isRightWeak)
Constructs a configuration graph edge, in which left and right sides may be weak. |
|
CGEdge(int tailId,
int headId,
java.lang.String leftAction,
java.lang.String leftNodeName,
java.lang.String rightAction,
java.lang.String rightNodeName)
Invoked when an edge to the accept node is created; then neither part is weak. |
Method Summary | |
---|---|
private boolean |
equals(CGEdge other)
|
boolean |
equals(java.lang.Object other)
|
int |
getHeadId()
Returns the ID of the head node. |
java.lang.String |
getLeftAction()
Returns the left action name. |
java.lang.String |
getLeftNodeName()
Returns the left node name. |
java.lang.String |
getRightAction()
Returns the right action name. |
java.lang.String |
getRightNodeName()
Returns the right node name. |
int |
getTailId()
Returns the ID of the tail node. |
int |
hashCode()
|
boolean |
isLeftWeak()
Returns if left action is weak. |
boolean |
isRightWeak()
Returns if right action is weak. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private int tailId
private int headId
private java.lang.String leftAction
private java.lang.String rightAction
private java.lang.String leftNodeName
private java.lang.String rightNodeName
private boolean isLeftWeak
private boolean isRightWeak
Constructor Detail |
---|
public CGEdge(int tailId, int headId, java.lang.String leftAction, java.lang.String leftNodeName, java.lang.String rightAction, java.lang.String rightNodeName)
tailId
- ID of the tail nodeheadId
- ID of the head nodeleftAction
- Left action nameleftNodeName
- Left node namerightAction
- Right action namerightNodeName
- Right node namepublic CGEdge(int tailId, int headId, java.lang.String leftAction, java.lang.String leftNodeName, boolean isLeftWeak, java.lang.String rightAction, java.lang.String rightNodeName, boolean isRightWeak)
tailId
- ID of the tail nodeheadId
- ID of the head nodeleftAction
- Left action nameleftNodeName
- Left node nameisLeftWeak
- If left action is weakrightAction
- Right action namerightNodeName
- Right node nameisRightWeak
- If right action is weakMethod Detail |
---|
public int getTailId()
public int getHeadId()
public java.lang.String getLeftAction()
public java.lang.String getRightAction()
public java.lang.String getLeftNodeName()
public java.lang.String getRightNodeName()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
private boolean equals(CGEdge other)
public int hashCode()
hashCode
in class java.lang.Object
public boolean isLeftWeak()
public boolean isRightWeak()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |