No Matches
mcrl2::data::variable_substitution Struct Reference

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_expressionoperator() (const variable &x) const

Public Attributes

const variablelhs
const data_expressionrhs

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

◆ expression_type

◆ result_type

◆ variable_type

Constructor & Destructor Documentation

◆ variable_substitution()

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

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

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: