mutable_indexed_substitution.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >
	Generic substitution function. More...
struct	mcrl2::data::mutable_indexed_substitution< VariableType, ExpressionType >::assignment
	Wrapper class for internal storage and substitution updates using operator() 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 VariableType , typename ExpressionType >
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const mutable_indexed_substitution< VariableType, ExpressionType > &sigma)
template<typename VariableType = variable, typename ExpressionType = data_expression>
std::multiset< variable >	mcrl2::data::substitution_variables (const mutable_indexed_substitution< VariableType, ExpressionType > &sigma)

Detailed Description

add your file description here.

Definition in file mutable_indexed_substitution.h.