dk.brics.bisim.equiv
Class CGEdge

java.lang.Object
  extended by dk.brics.bisim.equiv.CGEdge

public class CGEdge
extends java.lang.Object

An edge in a configuration graph.

Author:
Martin Mosegaard martinm@daimi.au.dk

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

tailId

private int tailId

headId

private int headId

leftAction

private java.lang.String leftAction

rightAction

private java.lang.String rightAction

leftNodeName

private java.lang.String leftNodeName

rightNodeName

private java.lang.String rightNodeName

isLeftWeak

private boolean isLeftWeak

isRightWeak

private boolean isRightWeak
Constructor Detail

CGEdge

public 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.

Parameters:
tailId - ID of the tail node
headId - ID of the head node
leftAction - Left action name
leftNodeName - Left node name
rightAction - Right action name
rightNodeName - Right node name

CGEdge

public 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.

Parameters:
tailId - ID of the tail node
headId - ID of the head node
leftAction - Left action name
leftNodeName - Left node name
isLeftWeak - If left action is weak
rightAction - Right action name
rightNodeName - Right node name
isRightWeak - If right action is weak
Method Detail

getTailId

public int getTailId()
Returns the ID of the tail node.

Returns:
The ID of the tail node

getHeadId

public int getHeadId()
Returns the ID of the head node.

Returns:
The ID of the head node

getLeftAction

public java.lang.String getLeftAction()
Returns the left action name.

Returns:
The left action name

getRightAction

public java.lang.String getRightAction()
Returns the right action name.

Returns:
The right action name

getLeftNodeName

public java.lang.String getLeftNodeName()
Returns the left node name.

Returns:
The left node name

getRightNodeName

public java.lang.String getRightNodeName()
Returns the right node name.

Returns:
The right node name

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

equals

private boolean equals(CGEdge other)

hashCode

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

isLeftWeak

public boolean isLeftWeak()
Returns if left action is weak.

Returns:
If left action is weak

isRightWeak

public boolean isRightWeak()
Returns if right action is weak.

Returns:
If right action is weak