add your file description here. More...

Classes
class	mcrl2::data::mutable_map_substitution< AssociativeContainer >
	Generic substitution function. The substitution is stored as a mapping of variables to expressions. The substitution is mutable, meaning that substitutions to variables can be added and removed as follows: More...

struct	mcrl2::data::mutable_map_substitution< AssociativeContainer >::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 VariableContainer , typename ExpressionContainer , typename MapContainer >
mutable_map_substitution< MapContainer >	mcrl2::data::make_mutable_map_substitution (const VariableContainer &vc, const ExpressionContainer &ec)
	Utility function for creating a mutable_map_substitution.

template<typename VariableContainer , typename ExpressionContainer >
mutable_map_substitution< std::map< typename VariableContainer::value_type, typename ExpressionContainer::value_type > >	mcrl2::data::make_mutable_map_substitution (const VariableContainer &vc, const ExpressionContainer &ec)

template<typename AssociativeContainer >
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const mutable_map_substitution< AssociativeContainer > &sigma)

std::set< data::variable >	mcrl2::data::substitution_variables (const mutable_map_substitution<> &sigma)

template<typename AssociativeContainer >
bool	mcrl2::data::is_simple_substitution (const mutable_map_substitution< AssociativeContainer > &sigma)

Detailed Description

add your file description here.

Classes