dk.brics.bisimulationGame.equiv
Class PGEdge

java.lang.Object
  extended by 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.
 
Method Summary
 boolean equals(java.lang.Object other)
           
 int getHeadId()
           
 java.lang.String getLeftAction()
           
 java.lang.String getLeftNodeName()
           
 java.lang.String getRightAction()
           
 java.lang.String getRightNodeName()
           
 int getTailId()
           
 boolean isLeftWeak()
           
 boolean isRightWeak()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

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)
Method Detail

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()