Package com.uppaal.model.system.concrete
Class ConcreteTrace
- java.lang.Object
-
- com.uppaal.model.system.AbstractTrace<ConcreteTransitionRecord>
-
- com.uppaal.model.system.concrete.ConcreteTrace
-
- All Implemented Interfaces:
Iterable<ConcreteTransitionRecord>
public class ConcreteTrace extends AbstractTrace<ConcreteTransitionRecord>
- Author:
- marius
-
-
Constructor Summary
Constructors Constructor Description ConcreteTrace()
-
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
-
-