com.uppaal.model.system.concrete

Class ConcreteTransitionRecord

java.lang.Object

com.uppaal.model.system.concrete.ConcreteTransitionRecord

public class ConcreteTransitionRecord
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected SystemEdgeSelect[]	edges
protected ConcreteState	target

Constructor Summary

Constructors

Constructor and Description
ConcreteTransitionRecord(BigDecimal delay, SystemEdgeSelect[] edges, ConcreteState target)

Method Summary

Methods

Modifier and Type	Method and Description
BigDecimal	getDelay()
String	getEdgeDescription()
SystemEdgeSelect[]	getEdges()
ConcreteState	getTarget()
void	setDelay(BigDecimal d)
void	setEdges(SystemEdgeSelect[] e)
void	setTarget(ConcreteState t)

Methods inherited from class java.lang.Object

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

Field Detail

edges

protected SystemEdgeSelect[] edges

target

protected ConcreteState target

Constructor Detail

ConcreteTransitionRecord

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

Method Detail

getEdgeDescription

public String getEdgeDescription()

getTarget

public ConcreteState getTarget()

setTarget

public void setTarget(ConcreteState t)

getEdges

public SystemEdgeSelect[] getEdges()

setEdges

public void setEdges(SystemEdgeSelect[] e)

getDelay

public BigDecimal getDelay()

setDelay

public void setDelay(BigDecimal d)