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

Class GWTransition

java.lang.Object

eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWTransition

All Implemented Interfaces:

ITransition

public class GWTransition
extends Object
implements ITransition

Representing a transition in GameWorldModel. The class only hold the transition-type and id. It does not implement the actual semantic of the transition. This is implemented in the GameWorldModel side.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	GWTransition.GWTransitionType

Field Summary

Fields

Modifier and Type	Field	Description
String	target
GWTransition.GWTransitionType	type

Constructor Summary

Constructors

Constructor	Description
GWTransition(GWTransition.GWTransitionType type, String target)

Method Summary

Modifier and Type	Method	Description
String	getId()	An ID that identifies the transition.

Methods inherited from class java.lang.Object

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

Field Details

type

public GWTransition.GWTransitionType type

target

public String target

Constructor Details

GWTransition

public GWTransition(GWTransition.GWTransitionType type,
 String target)

Method Details

getId

public String getId()

Description copied from interface: ITransition

An ID that identifies the transition.

Specified by:

getId in interface ITransition