Uses of Package
eu.iv4xr.framework.extensions.ltl.gameworldmodel

Packages that use eu.iv4xr.framework.extensions.ltl.gameworldmodel

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

Classes in eu.iv4xr.framework.extensions.ltl.gameworldmodel used by eu.iv4xr.framework.extensions.ltl.gameworldmodel

Class	Description
GameWorldModel	An EFSM-like model of a game-world.
GWObject
GWState	Representing the state of the game-world; or more precisely a state in GameWorldModel.
GWTransition	Representing a transition in GameWorldModel.
GWTransition.GWTransitionType
GWZone	GWZone is part of GameWorldModel.