No Matches
mutable_map_substitution.h File Reference

add your file description here. More...

Go to the source code of this file.


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


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.


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::variablemcrl2::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.

Definition in file mutable_map_substitution.h.