|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |