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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
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()
-
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 classAbstractTransition
-
-