Uses of Class
eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWState
Packages that use GWState
Package
Description
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 GWStateFields in eu.iv4xr.framework.extensions.ltl.gameworldmodel with type parameters of type GWStateModifier and TypeFieldDescriptionGameWorldModel.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 GWStateMethods in eu.iv4xr.framework.extensions.ltl.gameworldmodel with parameters of type GWStateModifier and TypeMethodDescriptionvoid
Reset this model; use the given state as the new initial-state.Constructors in eu.iv4xr.framework.extensions.ltl.gameworldmodel with parameters of type GWStateModifierConstructorDescriptionGameWorldModel(GWState initialState)
Create an instance of GameWorldModel with the specified state as the initial state.