Uses of Class
dk.brics.bisimulationGame.equiv.Capability

Packages that use Capability
dk.brics.bisimulationGame.equiv   
 

Uses of Capability in dk.brics.bisimulationGame.equiv
 

Fields in dk.brics.bisimulationGame.equiv with type parameters of type Capability
private  java.util.HashMap<att.grappa.Node,java.util.Vector<Capability>> StateSpace.capabilityMap
          A map from nodes to their capabilities.
 

Methods in dk.brics.bisimulationGame.equiv that return types with arguments of type Capability
private  java.util.Vector<Capability> StateSpace.computeNodeCapability(att.grappa.Node node)
          Lookup if the capability has already been computed.
 java.util.Vector<Capability> StateSpace.getNodeCapability(att.grappa.Node node)
          Retrieve the capability of a node.
 

Methods in dk.brics.bisimulationGame.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.