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