SymbolicTrace (UPPAAL model library)

java.lang.Object
- com.uppaal.model.system.AbstractTrace<SymbolicTransition>
- - com.uppaal.model.system.symbolic.SymbolicTrace

All Implemented Interfaces:

java.lang.Iterable<SymbolicTransition>
```
public class SymbolicTrace
extends AbstractTrace<SymbolicTransition>
```
Author:

marius

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  int cycle
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SymbolicTrace()
- Method Summary
  - Methods inherited from class com.uppaal.model.system.AbstractTrace
    add, get, isEmpty, iterator, remove, setTraceListener, size
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface java.lang.Iterable
    forEach, spliterator

- Field Detail
  - cycle
```
public int cycle
```
- Constructor Detail
  - SymbolicTrace
```
public SymbolicTrace()
```