mCRL2
Loading...
Searching...
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_ 
)
inline

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
inline

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: