Uses of Class
eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWState

Packages that use GWState

Package	Description
eu.iv4xr.framework.extensions.ltl.gameworldmodel	Provide a class, GameWorldModel, that can be used as a model of a "computer game".

Uses of GWState in eu.iv4xr.framework.extensions.ltl.gameworldmodel

Fields in eu.iv4xr.framework.extensions.ltl.gameworldmodel declared as GWState

Modifier and Type	Field	Description
GWState	GameWorldModel.initialState

Fields in eu.iv4xr.framework.extensions.ltl.gameworldmodel with type parameters of type GWState

Modifier and Type	Field	Description
List<Pair<GWState,GWTransition>>	GameWorldModel.history	The history of the the states, stored in reverse order (the head of the list is the current state, the last state in the list is the oldest).

Methods in eu.iv4xr.framework.extensions.ltl.gameworldmodel that return GWState

Modifier and Type	Method	Description
GWState	GameWorldModel.getCurrentState()

Methods in eu.iv4xr.framework.extensions.ltl.gameworldmodel with parameters of type GWState

Modifier and Type	Method	Description
void	GameWorldModel.reset(GWState newInitialState)	Reset this model; use the given state as the new initial-state.

Constructors in eu.iv4xr.framework.extensions.ltl.gameworldmodel with parameters of type GWState

Modifier	Constructor	Description
	GameWorldModel(GWState initialState)	Create an instance of GameWorldModel with the specified state as the initial state.