|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Capability | |
---|---|
dk.brics.bisim.equiv |
Uses of Capability in dk.brics.bisim.equiv |
---|
Fields in dk.brics.bisim.equiv with type parameters of type Capability | |
---|---|
private java.util.HashMap<att.grappa.Node,java.util.ArrayList<Capability>> |
StateSpace.capabilityMap
A map from nodes to their capabilities. |
Methods in dk.brics.bisim.equiv that return types with arguments of type Capability | |
---|---|
private java.util.ArrayList<Capability> |
StateSpace.computeNodeCapability(att.grappa.Node node)
Lookup if the capability has already been computed. |
java.util.ArrayList<Capability> |
StateSpace.getNodeCapability(att.grappa.Node node)
Retrieve the capability of a node. |
Methods in dk.brics.bisim.equiv with parameters of type Capability | |
---|---|
boolean |
Capability.equals(Capability other)
Two capabilities are equal if there actions are equal and their blockNumbers are equal. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |