mCRL2
|
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_expression & | operator() (const data_expression &x) const |
Public Attributes | |
const data_expression & | lhs |
const data_expression & | rhs |
Substitution that maps a data expression to a data expression.
Definition at line 23 of file data_expression_assignment.h.
Definition at line 27 of file data_expression_assignment.h.
Definition at line 26 of file data_expression_assignment.h.
Definition at line 28 of file data_expression_assignment.h.
Definition at line 25 of file data_expression_assignment.h.
|
inline |
Definition at line 33 of file data_expression_assignment.h.
|
inline |
Definition at line 38 of file data_expression_assignment.h.
const data_expression& mcrl2::data::data_expression_assignment::lhs |
Definition at line 30 of file data_expression_assignment.h.
const data_expression& mcrl2::data::data_expression_assignment::rhs |
Definition at line 31 of file data_expression_assignment.h.