map_substitution.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::data::map_substitution< AssociativeContainer >
	Generic substitution function. The substitution is stored as a mapping of variables to 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 AssociativeContainer >
map_substitution< AssociativeContainer >	mcrl2::data::make_map_substitution (const AssociativeContainer &m)
	Utility function for creating a map_substitution.
template<typename AssociativeContainer >
std::set< data::variable >	mcrl2::data::substitution_variables (const map_substitution< AssociativeContainer > &sigma)
template<typename AssociativeContainer >
bool	mcrl2::data::is_simple_substitution (const map_substitution< AssociativeContainer > &sigma)

Detailed Description

add your file description here.

Definition in file map_substitution.h.