Uses of Class
eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWObject
Package
Description
Provide a class,
GameWorldModel
, that can be used as a model of a
"computer game".-
Uses of GWObject in eu.iv4xr.framework.extensions.ltl.gameworldmodel
Modifier and TypeFieldDescriptionGameWorldModel.alpha
GameWorldModel.alpha
GameWorldModel.GameWorldModelBase.objects
GWState.objects
The objects in the game.Modifier and TypeMethodDescriptionstatic GWObject
static GWObject
LabRecruitsModel.mkClosedDoor(String id)
static GWObject
LabRecruitsModel.mkOpenDoor(String id)
Modifier and TypeMethodDescriptionvoid
GWState.addObjects(GWObject... objects)
static void
LabRecruitsModel.alphaFunction(GWObject button, Set<GWObject> affectedDoors)
void
GWState.setAsCurrentLocation(GWObject e)
Modifier and TypeMethodDescriptionstatic void
LabRecruitsModel.alphaFunction(GWObject button, Set<GWObject> affectedDoors)