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

package eu.iv4xr.framework.extensions.ltl.gameworldmodel

Provide a class, GameWorldModel, that can be used as a model of a "computer game". The model is executable, and can be exposed to the LTL-model-checker BuchiModelChecker.

Class Summary

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

Enum Summary

Enum	Description
GWTransition.GWTransitionType