public class ConcreteTransitionRecord extends AbstractTransition
Modifier and Type | Field and Description |
---|---|
protected ConcreteState |
target |
edges_ws
Constructor and Description |
---|
ConcreteTransitionRecord(BigDecimal delay,
SystemEdgeSelect[] edges,
ConcreteState target) |
Modifier and Type | Method and Description |
---|---|
BigDecimal |
getDelay() |
ConcreteState |
getTarget() |
void |
setDelay(BigDecimal d) |
void |
setTarget(ConcreteState t) |
getEdge, getEdges, getSize, getTransitionDescription, setEdges
protected ConcreteState target
public ConcreteTransitionRecord(BigDecimal delay, SystemEdgeSelect[] edges, ConcreteState target)
public ConcreteState getTarget()
public void setTarget(ConcreteState t)
public BigDecimal getDelay()
public void setDelay(BigDecimal d)
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.