Substitution that maps a single variable to a data expression. More...

#include <variable_substitution.h>

Public Types
using	variable_type = variable

using	expression_type = data_expression

using	argument_type = variable

using	result_type = data_expression

Public Member Functions
	variable_substitution (const variable &lhs_, const data_expression &rhs_)

const data_expression &	operator() (const variable &x) const

Public Attributes
const variable &	lhs

const data_expression &	rhs

Detailed Description

Substitution that maps a single variable to a data expression.

Definition at line 24 of file variable_substitution.h.

Member Typedef Documentation

◆ argument_type

using mcrl2::data::variable_substitution::argument_type = variable

Definition at line 28 of file variable_substitution.h.

◆ expression_type

using mcrl2::data::variable_substitution::expression_type = data_expression

Definition at line 27 of file variable_substitution.h.

◆ result_type

using mcrl2::data::variable_substitution::result_type = data_expression

Definition at line 29 of file variable_substitution.h.

◆ variable_type

using mcrl2::data::variable_substitution::variable_type = variable

Definition at line 26 of file variable_substitution.h.

Constructor & Destructor Documentation

◆ variable_substitution()

mcrl2::data::variable_substitution::variable_substitution	(	const variable &	lhs_,
		const data_expression &	rhs_
	)

inline

Definition at line 34 of file variable_substitution.h.

Member Function Documentation

◆ operator()()

const data_expression & mcrl2::data::variable_substitution::operator() ( const variable & x ) const

inline

Definition at line 39 of file variable_substitution.h.

Member Data Documentation

◆ lhs

const variable& mcrl2::data::variable_substitution::lhs

Definition at line 31 of file variable_substitution.h.

◆ rhs

const data_expression& mcrl2::data::variable_substitution::rhs

Definition at line 32 of file variable_substitution.h.

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

data/include/mcrl2/data/substitutions/variable_substitution.h

Public Types

Public Member Functions

Public Attributes