|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateSpace | |
---|---|
dk.brics.bisimulationGame | |
dk.brics.bisimulationGame.controller | |
dk.brics.bisimulationGame.equiv |
Uses of StateSpace in dk.brics.bisimulationGame |
---|
Methods in dk.brics.bisimulationGame that return StateSpace | |
---|---|
private StateSpace |
BisimulationGame.getStateSpace()
|
Uses of StateSpace in dk.brics.bisimulationGame.controller |
---|
Fields in dk.brics.bisimulationGame.controller declared as StateSpace | |
---|---|
private StateSpace |
AIDefender.stateSpace
|
Constructors in dk.brics.bisimulationGame.controller with parameters of type StateSpace | |
---|---|
AIAttacker(GameModel gameModel,
MessagePasser messagePasser,
StateSpace stateSpace)
Constructs an attacker and builds a strategy for it. |
|
AIDefender(GameModel gameModel,
MessagePasser messagePasser,
StateSpace stateSpace,
boolean winning)
Creates a defender and, if there isn't a winning strategy, computes a set of suspicious configurations from a configuration graph. |
Uses of StateSpace in dk.brics.bisimulationGame.equiv |
---|
Methods in dk.brics.bisimulationGame.equiv with parameters of type StateSpace | |
---|---|
private void |
ConfigurationGraph.build(StateSpace ss)
Builds a graph from a state space. |
Constructors in dk.brics.bisimulationGame.equiv with parameters of type StateSpace | |
---|---|
ConfigurationGraph(StateSpace ss)
Constructs a graph from a state space and computes a perfect attacker strategy. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |