public class Trace extends Object
Constructor and Description |
---|
Trace(ConcreteState initialConcreteState) |
Trace(ConcreteState initialConcreteState,
SymbolicState initialSymbolicState) |
Trace(SymbolicState initialSymbolicState) |
Modifier and Type | Method and Description |
---|---|
void |
append(BigDecimal delay,
SystemEdgeSelect[] transitionEdges,
ConcreteState concreteState) |
void |
append(BigDecimal delay,
SystemEdgeSelect[] transitionEdges,
ConcreteState concreteState,
SymbolicState symbolicState) |
void |
append(SystemEdgeSelect[] transitionEdges,
SymbolicState symbolicState) |
void |
clearAfterState(int i) |
ConcreteState |
getConcreteState(int i) |
BigDecimal |
getDelay(int i) |
BigDecimal |
getEntryTime(int i) |
SymbolicState |
getSymbolicState(int i) |
SymbolicTransition |
getSymbolicTransition(int i)
Warning: In this representation of the trace, all transitions have a
source and a destination, meaning that compared with the old symbolic
trace representation, the initial transition is missing.
|
SystemEdgeSelect[] |
getTransitionEdges(int i) |
void |
reset(ConcreteState initialConcreteState,
SymbolicState initialSymbolicState)
Resets the trace with the given parameters.
|
int |
size() |
public Trace(SymbolicState initialSymbolicState)
public Trace(ConcreteState initialConcreteState)
public Trace(ConcreteState initialConcreteState, SymbolicState initialSymbolicState)
public void reset(ConcreteState initialConcreteState, SymbolicState initialSymbolicState)
initialConcreteState
- the initial concrete state. If null this
trace will not be concrete.initialSymbolicState
- the initial symbolic state. If null this
trace will not be symbolic.public void clearAfterState(int i)
public void append(BigDecimal delay, SystemEdgeSelect[] transitionEdges, ConcreteState concreteState, SymbolicState symbolicState)
public void append(BigDecimal delay, SystemEdgeSelect[] transitionEdges, ConcreteState concreteState)
public void append(SystemEdgeSelect[] transitionEdges, SymbolicState symbolicState)
public BigDecimal getEntryTime(int i)
public BigDecimal getDelay(int i)
public SystemEdgeSelect[] getTransitionEdges(int i)
public SymbolicTransition getSymbolicTransition(int i)
public ConcreteState getConcreteState(int i)
public SymbolicState getSymbolicState(int i)
public int size()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.