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