AbstractTrace (UPPAAL model library)

java.lang.Object
- com.uppaal.model.system.AbstractTrace<Transition>

All Implemented Interfaces:: java.lang.Iterable<Transition>

Direct Known Subclasses:: ConcreteTrace, SymbolicTrace

public class AbstractTrace<Transition extends AbstractTransition>
extends java.lang.Object
implements java.lang.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()`
`java.util.Iterator<Transition>`	`iterator()`
`Transition`	`remove(int i)`
`void`	`setTraceListener(TraceListener 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

Constructor Detail
- AbstractTrace
```
public AbstractTrace()
```

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 tl)

iterator
```
public java.util.Iterator<Transition> iterator()
```
Specified by:

iterator in interface java.lang.Iterable<Transition extends AbstractTransition>