No Matches
mcrl2::data::data_expression_assignment Struct Reference

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

#include <data_expression_assignment.h>

Public Types

using variable_type = data_expression
using expression_type = data_expression
using argument_type = data_expression
using result_type = data_expression

Public Member Functions

 data_expression_assignment (const data_expression &lhs_, const data_expression &rhs_)
const data_expressionoperator() (const data_expression &x) const

Public Attributes

const data_expressionlhs
const data_expressionrhs

Detailed Description

Substitution that maps a data expression to a data expression.

Definition at line 23 of file data_expression_assignment.h.

Member Typedef Documentation

◆ argument_type

◆ expression_type

◆ result_type

◆ variable_type

Constructor & Destructor Documentation

◆ data_expression_assignment()

mcrl2::data::data_expression_assignment::data_expression_assignment ( const data_expression lhs_,
const data_expression rhs_ 

Definition at line 33 of file data_expression_assignment.h.

Member Function Documentation

◆ operator()()

const data_expression & mcrl2::data::data_expression_assignment::operator() ( const data_expression x) const

Definition at line 38 of file data_expression_assignment.h.

Member Data Documentation

◆ lhs

const data_expression& mcrl2::data::data_expression_assignment::lhs

Definition at line 30 of file data_expression_assignment.h.

◆ rhs

const data_expression& mcrl2::data::data_expression_assignment::rhs

Definition at line 31 of file data_expression_assignment.h.

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