dk.brics.bisimulationGame.equiv
Class Capability

java.lang.Object
  extended by dk.brics.bisimulationGame.equiv.Capability

public class Capability
extends java.lang.Object

The capability of a node.

A capability records, for a node, an outgoing action, the target block number and whether the transition is weak, i.e., if it has been created during the creation of a weak successor map.

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
private  int blockNumber
           
private  att.grappa.Edge edge
           
private  java.lang.String edgeLabel
           
private  boolean isWeak
           
private  att.grappa.Node toNode
           
 
Constructor Summary
Capability(att.grappa.Edge edge, java.lang.String edgeLabel, int blockNumber, boolean isWeak, att.grappa.Node toNode)
          Constructs a capability for a node.
 
Method Summary
 boolean equals(Capability other)
          Two capabilities are equal if there actions are equal and their blockNumbers are equal.
 boolean equals(java.lang.Object other)
           
 int getBlockNumber()
          Returns the block number.
 att.grappa.Edge getEdge()
           
 java.lang.String getEdgeLabel()
          Returns the edge label.
 att.grappa.Node getToNode()
           
 boolean isWeak()
          Returns if the capability is weak.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

edge

private att.grappa.Edge edge

edgeLabel

private java.lang.String edgeLabel

blockNumber

private int blockNumber

isWeak

private boolean isWeak

toNode

private att.grappa.Node toNode
Constructor Detail

Capability

public Capability(att.grappa.Edge edge,
                  java.lang.String edgeLabel,
                  int blockNumber,
                  boolean isWeak,
                  att.grappa.Node toNode)
Constructs a capability for a node.

Parameters:
edge - An outgoing edge
edgeLabel - The label of the edge
blockNumber - The block number of the to-node
isWeak - If this capability is weak, i.e. if it is only included in the weak transitive closure of an action
toNode - The to-node
Method Detail

equals

public boolean equals(java.lang.Object other)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(Capability other)
Two capabilities are equal if there actions are equal and their blockNumbers are equal.

Parameters:
other - Other capability
Returns:
If other equals this

getEdgeLabel

public java.lang.String getEdgeLabel()
Returns the edge label.

Returns:
The edge label

getBlockNumber

public int getBlockNumber()
Returns the block number.

Returns:
The block number

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

isWeak

public boolean isWeak()
Returns if the capability is weak.

Returns:
If the capability is weak

getEdge

public att.grappa.Edge getEdge()

getToNode

public att.grappa.Node getToNode()