trace.h File Reference

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

Go to the source code of this file.

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

Namespaces
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.

Author

Muck van Weerdenburg

Definition in file trace.h.