|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisimulationGame.equiv.Capability
public class Capability
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.
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 |
---|
private att.grappa.Edge edge
private java.lang.String edgeLabel
private int blockNumber
private boolean isWeak
private att.grappa.Node toNode
Constructor Detail |
---|
public Capability(att.grappa.Edge edge, java.lang.String edgeLabel, int blockNumber, boolean isWeak, att.grappa.Node toNode)
edge
- An outgoing edgeedgeLabel
- The label of the edgeblockNumber
- The block number of the to-nodeisWeak
- If this capability is weak, i.e. if it
is only included in the weak transitive closure of an actiontoNode
- The to-nodeMethod Detail |
---|
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public boolean equals(Capability other)
other
- Other capability
public java.lang.String getEdgeLabel()
public int getBlockNumber()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isWeak()
public att.grappa.Edge getEdge()
public att.grappa.Node getToNode()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |