Package dk.brics.bisimulationGame.equiv

Class Summary
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.
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.
Strategy An attacker strategy.
Successor The successor of a node.