Package com.uppaal.model.system
Class AbstractTrace<Transition extends AbstractTransition>
- java.lang.Object
-
- com.uppaal.model.system.AbstractTrace<Transition>
-
- All Implemented Interfaces:
Iterable<Transition>
- Direct Known Subclasses:
ConcreteTrace
,SymbolicTrace
public class AbstractTrace<Transition extends AbstractTransition> extends Object implements Iterable<Transition>
-
-
Constructor Summary
Constructors Constructor Description AbstractTrace()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(Transition st)
Transition
get(int i)
boolean
isEmpty()
Iterator<Transition>
iterator()
Transition
remove(int i)
void
setTraceListener(TraceListener<Transition> tl)
int
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
-
-
-
-
Method Detail
-
add
public void add(Transition st)
-
remove
public Transition remove(int i)
-
get
public Transition get(int i)
-
isEmpty
public boolean isEmpty()
-
size
public int size()
-
setTraceListener
public void setTraceListener(TraceListener<Transition> tl)
-
iterator
public Iterator<Transition> iterator()
- Specified by:
iterator
in interfaceIterable<Transition extends AbstractTransition>
-
-