Include file:

#include "mcrl2/lts/trace.h"

This class allows to flexibly manipulate traces.

This class allows to build, traverse and store traces. Traces are sequences of (possibly timed) multi actions, that may be endowed with state information for the intermediate states. In the trace the current position is being maintained. Adding actions or setting states is always relative to the current position. Muck van Weerdenburg