com.uppaal.model.system.concrete

Class ConcreteTransition

java.lang.Object

com.uppaal.model.system.concrete.ConcreteTransition

public class ConcreteTransition
extends Object

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
SystemEdgeSelect[]	getEdges()
Limit	getEndEnabled()
Limit	getEndSelect()
String	getLabel()
int	getPlayer()
Limit	getStartEnabled()
Limit	getStartSelect()
int	getStatus()
boolean	isSelectable()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConcreteTransition

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

Method Detail

isSelectable

public boolean isSelectable()

getLabel

public String getLabel()

getEdges

public SystemEdgeSelect[] getEdges()

getPlayer

public int getPlayer()

getStatus

public int getStatus()

getStartEnabled

public Limit getStartEnabled()

getEndEnabled

public Limit getEndEnabled()

getStartSelect

public Limit getStartSelect()

getEndSelect

public Limit getEndSelect()