|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use dk.brics.bisimulationGame.equiv | |
---|---|
dk.brics.bisimulationGame | |
dk.brics.bisimulationGame.controller | |
dk.brics.bisimulationGame.equiv | |
dk.brics.bisimulationGame.model |
Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame | |
---|---|
StateSpace
A representation of all nodes of two LTSs (S,T) partitioned into one or more blocks. |
Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame.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.bisimulationGame.equiv used by dk.brics.bisimulationGame.equiv | |
---|---|
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. |
|
Successor
The successor of a node. |
Classes in dk.brics.bisimulationGame.equiv used by dk.brics.bisimulationGame.model | |
---|---|
Successor
The successor of a node. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |