Uses of Class
dk.brics.bisimulationGame.equiv.StateSpace

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.