mcrl2::data::enumerator_substitution Struct Reference

Substitution that stores the assignments as a sequence of variables and a sequence of expressions. It supports function composition efficiently. This is done by simply concatenating the variables and expressions of the two substitutions. As a result, evaluating the substitution becomes more expensive. More...

#include <enumerator_substitution.h>

Public Types
typedef data::variable	variable_type
	type used to represent variables
typedef data::data_expression	expression_type
	type used to represent expressions

Public Member Functions
	enumerator_substitution ()=default
	enumerator_substitution (data::variable_list variables_, data::data_expression_list expressions_)
data::data_expression	operator() (const data::variable &v) const
void	add_assignment (const data::variable &v, const data::data_expression &e)
void	revert ()
std::string	to_string () const

Public Attributes
data::variable_list	variables
data::data_expression_list	expressions

Detailed Description

Substitution that stores the assignments as a sequence of variables and a sequence of expressions. It supports function composition efficiently. This is done by simply concatenating the variables and expressions of the two substitutions. As a result, evaluating the substitution becomes more expensive.

Definition at line 100 of file enumerator_substitution.h.

Member Typedef Documentation

expression_type

typedef data::data_expression mcrl2::data::enumerator_substitution::expression_type

type used to represent expressions

Definition at line 106 of file enumerator_substitution.h.

variable_type

typedef data::variable mcrl2::data::enumerator_substitution::variable_type

type used to represent variables

Definition at line 103 of file enumerator_substitution.h.

Constructor & Destructor Documentation

enumerator_substitution() [1/2]

mcrl2::data::enumerator_substitution::enumerator_substitution ( )

default

enumerator_substitution() [2/2]

mcrl2::data::enumerator_substitution::enumerator_substitution ( data::variable_list  variables_, data::data_expression_list  expressions_  )

inline

Definition at line 113 of file enumerator_substitution.h.

Member Function Documentation

add_assignment()

void mcrl2::data::enumerator_substitution::add_assignment ( const data::variable &  v, const data::data_expression &  e  )

inline

Definition at line 128 of file enumerator_substitution.h.

operator()()

data::data_expression mcrl2::data::enumerator_substitution::operator() ( const data::variable &  v ) const

inline

Definition at line 120 of file enumerator_substitution.h.

revert()

void mcrl2::data::enumerator_substitution::revert ( )

inline

Definition at line 135 of file enumerator_substitution.h.

to_string()

std::string mcrl2::data::enumerator_substitution::to_string ( ) const

inline

Definition at line 141 of file enumerator_substitution.h.

Member Data Documentation

expressions

data::data_expression_list mcrl2::data::enumerator_substitution::expressions

Definition at line 109 of file enumerator_substitution.h.

variables

data::variable_list mcrl2::data::enumerator_substitution::variables

Definition at line 108 of file enumerator_substitution.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/substitutions/enumerator_substitution.h