Uses of Package
dk.brics.bisimulationGame.equiv

Packages that use dk.brics.bisimulationGame.equiv
dk.brics.bisimulationGame   
dk.brics.bisimulationGame.controller   
dk.brics.bisimulationGame.equiv   
dk.brics.bisimulationGame.model   
 

Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame
StateSpace
          A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks.
 

Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame.controller
CGNode
          A node in a configuration graph.
StateSpace
          A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks.
Strategy
          An attacker strategy.
 

Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame.equiv
Block
          A partition in a state space.
Capability
          The capability of a node.
CGEdge
          An edge in a configuration graph.
CGNode
          A node in a configuration graph.
StateSpace
          A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks.
Strategy
          An attacker strategy.
Successor
          The successor of a node.
 

Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame.model
Successor
          The successor of a node.