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

Packages that use StateSpace
dk.brics.bisim.controller   
dk.brics.bisim.equiv   
dk.brics.bisim.model   
 

Uses of StateSpace in dk.brics.bisim.controller
 

Methods in dk.brics.bisim.controller with parameters of type StateSpace
private  att.grappa.Node AIDefender.getAnyNode(java.lang.String attackerAction, int attackerSide, StateSpace stateSpace)
          Get any node which is the head of an edge from our current node, such that the edge label equals the attacker's action.
private  att.grappa.Node AIDefender.getPerfectNode(java.lang.String attackerAction, int attackerSide, StateSpace stateSpace)
          Find a perfect node in the state space, i.e. a node which resides in the same block as the current node on the attacker's side.
 

Uses of StateSpace in dk.brics.bisim.equiv
 

Methods in dk.brics.bisim.equiv with parameters of type StateSpace
private  void ConfigurationGraph.build(StateSpace ss)
          Builds a graph from a state space.
 

Constructors in dk.brics.bisim.equiv with parameters of type StateSpace
ConfigurationGraph(StateSpace ss)
          Constructs a graph from a state space.
 

Uses of StateSpace in dk.brics.bisim.model
 

Fields in dk.brics.bisim.model declared as StateSpace
private  StateSpace GameModel.stateSpace
           
 

Methods in dk.brics.bisim.model that return StateSpace
 StateSpace GameModel.getStateSpace()