dk.brics.bisim.equiv
Class Capability

java.lang.Object
  extended by dk.brics.bisim.equiv.AbstractSuccessor
      extended by dk.brics.bisim.equiv.Capability

public class Capability
extends AbstractSuccessor

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
           
 
Fields inherited from class dk.brics.bisim.equiv.AbstractSuccessor
edgeLabel, isWeak, toNode
 
Constructor Summary
Capability(java.lang.String edgeLabel, att.grappa.Node toNode, boolean isWeak, int blockNumber)
          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.
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class dk.brics.bisim.equiv.AbstractSuccessor
getEdgeLabel, getToNode, isWeak
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

blockNumber

private int blockNumber
Constructor Detail

Capability

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

Parameters:
edgeLabel - The label of the edge
toNode - The to-node
isWeak - If this capability is weak, i.e. if it is only included in the weak transitive closure of an action
blockNumber - The block number of 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

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

hashCode

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