Package dk.brics.bisim.equiv

Interface Summary
Successor Interface of a successor to a node.
 

Class Summary
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.
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.
StrongSuccessor The successor of a node.
WeakSuccessor A weak successor.