AbstractTrace (UPPAAL model library)

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

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 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 Details
- AbstractTrace
  
  public AbstractTrace()
Method Details
- 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 Iterator<Transition> iterator()
  
  Specified by:
  
  iterator in interface Iterable<Transition extends AbstractTransition>