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

Class GameWorldModel.GameWorldModelBase

java.lang.Object

eu.iv4xr.framework.extensions.ltl.gameworldmodel.GameWorldModel.GameWorldModelBase

Enclosing class:

GameWorldModel

static class GameWorldModel.GameWorldModelBase
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Set<String>	blockers
String	initialAgentLocation
Map<String,Set<String>>	objectlinks
List<GWObject>	objects
Set<GWZone>	zones

Constructor Summary

Constructors

Constructor	Description
GameWorldModelBase()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

initialAgentLocation

public String initialAgentLocation

objects

public List<GWObject> objects

blockers

public Set<String> blockers

zones

public Set<GWZone> zones

objectlinks

public Map<String,Set<String>> objectlinks

Constructor Details

GameWorldModelBase

GameWorldModelBase()