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

Packages that use GWTransition

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 GWTransition in eu.iv4xr.framework.extensions.ltl.gameworldmodel

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

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).