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. |