dk.brics.bisim.equiv
Class Capability
java.lang.Object
dk.brics.bisim.equiv.AbstractSuccessor
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
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 java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
blockNumber
private int blockNumber
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 edgetoNode
- The to-nodeisWeak
- If this capability is weak, i.e. if it
is only included in the weak transitive closure of an actionblockNumber
- The block number of the to-node
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