Uses of Package
dk.brics.bisim.equiv

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

Classes in dk.brics.bisim.equiv used by dk.brics.bisim.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.bisim.equiv used by dk.brics.bisim.equiv
AbstractSuccessor
          An abstract successor represents an outgoing edge and a to-node.
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.
StrongSuccessor
          The successor of a node.
Successor
          Interface of a successor to a node.
WeakSuccessor
          A weak successor.
 

Classes in dk.brics.bisim.equiv used by dk.brics.bisim.model
CGNode
          A node in a configuration graph.
ConfigurationGraph
          A graph representation of the possible combinations of states from two LTSs (S,T).
StateSpace
          A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks.
Successor
          Interface of a successor to a node.