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

Constructor Details

ConcreteTrace

public ConcreteTrace()