Package com.uppaal.model.system.symbolic
Class SymbolicTrace
- java.lang.Object
-
- com.uppaal.model.system.AbstractTrace<SymbolicTransition>
-
- com.uppaal.model.system.symbolic.SymbolicTrace
-
- All Implemented Interfaces:
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()
SymbolicTrace(SymbolicState state)
-
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
-
-
-
-
Constructor Detail
-
SymbolicTrace
public SymbolicTrace()
-
SymbolicTrace
public SymbolicTrace(SymbolicState state)
-
-