Package com.uppaal.model.system.symbolic

Class SymbolicTrace

java.lang.Object

com.uppaal.model.system.AbstractTrace<SymbolicTransition>

com.uppaal.model.system.symbolic.SymbolicTrace

All Implemented Interfaces:

Iterable<SymbolicTransition>

public class SymbolicTrace
extends AbstractTrace<SymbolicTransition>

Author:

marius

Field Summary

Fields

Modifier and Type	Field	Description
int	cycle

Constructor Summary

Constructors

Constructor	Description
SymbolicTrace()
SymbolicTrace(SymbolicState state)

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

Field Details

cycle

public int cycle

Constructor Details

SymbolicTrace

public SymbolicTrace()

SymbolicTrace

public SymbolicTrace(SymbolicState state)