dk.brics.bisimulationGame.equiv
Class PGEdge
java.lang.Object
dk.brics.bisimulationGame.equiv.PGEdge
public class PGEdge
- extends java.lang.Object
An edge in a pair graph.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
Constructor Summary |
PGEdge(int tailId,
int headId,
java.lang.String leftAction,
java.lang.String leftNodeName,
boolean isLeftWeak,
java.lang.String rightAction,
java.lang.String rightNodeName,
boolean isRightWeak)
|
PGEdge(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. |
Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
PGEdge
public PGEdge(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.
- Parameters:
tailId
- headId
- leftAction
- leftNodeName
- rightAction
- rightNodeName
-
PGEdge
public PGEdge(int tailId,
int headId,
java.lang.String leftAction,
java.lang.String leftNodeName,
boolean isLeftWeak,
java.lang.String rightAction,
java.lang.String rightNodeName,
boolean isRightWeak)
getTailId
public int getTailId()
getHeadId
public int getHeadId()
getLeftAction
public java.lang.String getLeftAction()
getRightAction
public java.lang.String getRightAction()
getLeftNodeName
public java.lang.String getLeftNodeName()
getRightNodeName
public java.lang.String getRightNodeName()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
equals
public boolean equals(java.lang.Object other)
- Overrides:
equals
in class java.lang.Object
isLeftWeak
public boolean isLeftWeak()
isRightWeak
public boolean isRightWeak()