add your file description here. More...

Classes
struct	mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >
	Generic substitution function. The substitution is stored as a sequence of variables and a sequence of expressions. More...

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

namespace	mcrl2::data
	Namespace for all data library functionality.

Functions
template<typename VariableContainer , typename ExpressionContainer >
sequence_sequence_substitution< VariableContainer, ExpressionContainer >	mcrl2::data::make_sequence_sequence_substitution (const VariableContainer &vc, const ExpressionContainer &ec)
	Utility function for creating a sequence_sequence_substitution.

template<typename VariableContainer , typename ExpressionContainer >
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const sequence_sequence_substitution< VariableContainer, ExpressionContainer > &sigma)

template<typename VariableContainer , typename ExpressionContainer >
bool	mcrl2::data::is_simple_substitution (const sequence_sequence_substitution< VariableContainer, ExpressionContainer > &sigma)

Detailed Description

add your file description here.

Classes