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(java.math.BigDecimal delay, SystemEdgeSelect[] edges, ConcreteState target)

Method Summary

Modifier and Type	Method	Description
java.math.BigDecimal	getDelay()
ConcreteState	getTarget()
void	setDelay(java.math.BigDecimal d)
void	setTarget(ConcreteState t)
java.lang.String	traceFormat()	Convert to visual format used in simulator.

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

Field Detail

target

protected ConcreteState target

Constructor Detail

ConcreteTransitionRecord

public ConcreteTransitionRecord(java.math.BigDecimal delay,
                                SystemEdgeSelect[] edges,
                                ConcreteState target)

Method Detail

getTarget

public ConcreteState getTarget()

Specified by:

getTarget in class AbstractTransition

setTarget

public void setTarget(ConcreteState t)

getDelay

public java.math.BigDecimal getDelay()

setDelay

public void setDelay(java.math.BigDecimal d)

traceFormat

public java.lang.String traceFormat()

Convert to visual format used in simulator.

Returns:

s - The string includes trace format