Package com.uppaal.model.system.concrete
Class ConcreteTransitionRecord
- java.lang.Object
-
- com.uppaal.model.system.AbstractTransition
-
- com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
public class ConcreteTransitionRecord extends AbstractTransition
-
-
Field Summary
Fields Modifier and Type Field Description protected ConcreteState
target
-
Fields inherited from class com.uppaal.model.system.AbstractTransition
edges_ws
-
-
Constructor Summary
Constructors Constructor Description ConcreteTransitionRecord(BigDecimal delay, SystemEdgeSelect[] edges, ConcreteState target)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BigDecimal
getDelay()
ConcreteState
getTarget()
void
setDelay(BigDecimal d)
void
setTarget(ConcreteState t)
String
traceFormat()
Convert to visual format used in simulator.-
Methods inherited from class com.uppaal.model.system.AbstractTransition
getEdge, getEdges, getSize, getTransitionDescription, setEdges
-
-
-
-
Field Detail
-
target
protected ConcreteState target
-
-
Constructor Detail
-
ConcreteTransitionRecord
public ConcreteTransitionRecord(BigDecimal delay, SystemEdgeSelect[] edges, ConcreteState target)
-
-
Method Detail
-
getTarget
public ConcreteState getTarget()
- Specified by:
getTarget
in classAbstractTransition
-
setTarget
public void setTarget(ConcreteState t)
-
getDelay
public BigDecimal getDelay()
-
setDelay
public void setDelay(BigDecimal d)
-
traceFormat
public String traceFormat()
Convert to visual format used in simulator.- Returns:
- s - The string includes trace format
-
-