sequence.h File Reference

Functions for sequences. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Functions
template<typename SequenceContainer , typename OutIter , typename SequenceFunction , typename Assign >
void	mcrl2::utilities::foreach_sequence (const SequenceContainer &X, OutIter i, SequenceFunction f, Assign assign)
	Algorithm for generating sequences. Given a sequence [X1, ..., Xn], where each element Xi is a sequence as well, this function generates all sequences [x1, ..., xn], where xi is an element of Xi for all i = 1 ... n. For each of these sequences the function f is called. The assign parameter gives the user control over how each sequence is built.
template<typename SequenceContainer , typename OutIter , typename SequenceFunction >
void	mcrl2::utilities::foreach_sequence (const SequenceContainer &X, OutIter i, SequenceFunction f)
	Algorithm for generating sequences. Given a sequence [X1, ..., Xn], where each element Xi is a sequence as well, this function generates all sequences [x1, ..., xn], where xi is an element of Xi for all i = 1 ... n. For each of these sequences the function f is called.

Detailed Description

Functions for sequences.

Definition in file sequence.h.