Package com.uppaal.model.system.concrete

Class ConcreteTransition

java.lang.Object

com.uppaal.model.system.AbstractTransition

com.uppaal.model.system.concrete.ConcreteTransition

public class ConcreteTransition
extends AbstractTransition

Field Summary

Fields inherited from class com.uppaal.model.system.AbstractTransition

edges_ws

Constructor Summary

Constructors

Constructor	Description
ConcreteTransition(SystemEdgeSelect[] edges, int player, int status, Limit startEnabled, Limit endEnabled, Limit startSelect, Limit endSelect)

Method Summary

Modifier and Type	Method	Description
Limit	getEndEnabled()
Limit	getEndSelect()
int	getPlayer()
Limit	getStartEnabled()
Limit	getStartSelect()
int	getStatus()
SystemState	getTarget()
boolean	isSelectable()

Methods inherited from class com.uppaal.model.system.AbstractTransition

getEdge, getEdges, getSize, getTransitionDescription, setEdges

Methods inherited from class java.lang.Object

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

Constructor Details

ConcreteTransition

public ConcreteTransition(SystemEdgeSelect[] edges, int player, int status, Limit startEnabled, Limit endEnabled, Limit startSelect, Limit endSelect)

Method Details

isSelectable

public boolean isSelectable()

getPlayer

public int getPlayer()

getStatus

public int getStatus()

getStartEnabled

public Limit getStartEnabled()

getEndEnabled

public Limit getEndEnabled()

getStartSelect

public Limit getStartSelect()

getEndSelect

public Limit getEndSelect()

getTarget

public SystemState getTarget()

Specified by:

getTarget in class AbstractTransition