dk.brics.bisim.equiv
Class AbstractSuccessor

java.lang.Object
  extended by dk.brics.bisim.equiv.AbstractSuccessor
Direct Known Subclasses:
Capability, StrongSuccessor, WeakSuccessor

public abstract class AbstractSuccessor
extends java.lang.Object

An abstract successor represents an outgoing edge and a to-node.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
protected  java.lang.String edgeLabel
           
protected  boolean isWeak
           
protected  att.grappa.Node toNode
           
 
Constructor Summary
AbstractSuccessor(java.lang.String edgeLabel, att.grappa.Node toNode, boolean isWeak)
          Constructs an abstract successor and sets the fields.
 
Method Summary
 java.lang.String getEdgeLabel()
           
 att.grappa.Node getToNode()
           
 boolean isWeak()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

edgeLabel

protected java.lang.String edgeLabel

toNode

protected att.grappa.Node toNode

isWeak

protected boolean isWeak
Constructor Detail

AbstractSuccessor

public AbstractSuccessor(java.lang.String edgeLabel,
                         att.grappa.Node toNode,
                         boolean isWeak)
Constructs an abstract successor and sets the fields.

Parameters:
edgeLabel - The label of the edge
toNode - The to-node
isWeak - If this successor is weak
Method Detail

getEdgeLabel

public java.lang.String getEdgeLabel()
Returns:
The edge label

isWeak

public boolean isWeak()
Returns:
If the successor is weak

getToNode

public att.grappa.Node getToNode()
Returns:
The to-node