substitutions.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::no_substitution
	An empty struct that can be used to indicate that there is no substitution that should be applied to propositional variables. More...
class	mcrl2::pbes_system::propositional_variable_substitution
	Substitution function for propositional variables. More...
class	mcrl2::pbes_system::propositional_variable_substitution::assignment
	Wrapper class for internal storage and substitution updates using operator() More...

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Functions
std::function< pbes_expression(const propositional_variable_instantiation &)>	mcrl2::pbes_system::compose_substitutions (const std::function< pbes_expression(const propositional_variable_instantiation &)> sigma1, const std::function< pbes_expression(const propositional_variable_instantiation &)> sigma2)

Detailed Description

add your file description here.

Definition in file substitutions.h.