Substitution that maps data variables to data expressions. The substitution is stored as an assignment_list. More...

#include <assignment_sequence_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
	assignment_sequence_substitution (const assignment_list &assignments_)

const data_expression &	operator() (const variable &v) const

Public Attributes
const assignment_list &	assignments

Detailed Description

Substitution that maps data variables to data expressions. The substitution is stored as an assignment_list.

Definition at line 24 of file assignment_sequence_substitution.h.

Member Typedef Documentation

◆ argument_type

using mcrl2::data::assignment_sequence_substitution::argument_type = variable

Definition at line 28 of file assignment_sequence_substitution.h.

◆ expression_type

using mcrl2::data::assignment_sequence_substitution::expression_type = data_expression

Definition at line 27 of file assignment_sequence_substitution.h.

◆ result_type

using mcrl2::data::assignment_sequence_substitution::result_type = data_expression

Definition at line 29 of file assignment_sequence_substitution.h.

◆ variable_type

using mcrl2::data::assignment_sequence_substitution::variable_type = variable

Definition at line 26 of file assignment_sequence_substitution.h.

Constructor & Destructor Documentation

◆ assignment_sequence_substitution()

mcrl2::data::assignment_sequence_substitution::assignment_sequence_substitution ( const assignment_list & assignments_ )

inlineexplicit

Definition at line 33 of file assignment_sequence_substitution.h.

Member Function Documentation

◆ operator()()

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

inline

Definition at line 37 of file assignment_sequence_substitution.h.

Member Data Documentation

◆ assignments

const assignment_list& mcrl2::data::assignment_sequence_substitution::assignments

Definition at line 31 of file assignment_sequence_substitution.h.

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

data/include/mcrl2/data/substitutions/assignment_sequence_substitution.h

Public Types

Public Member Functions

Public Attributes