No Matches
trace.h File Reference

This class allows to flexibly manipulate traces. More...

Go to the source code of this file.


class  mcrl2::lts::trace
 This class contains a trace consisting of a sequence of (timed) actions possibly with intermediate states. More...


namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace  mcrl2::lts
 The main LTS namespace.

Detailed Description

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

Definition in file trace.h.