mCRL2
|
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_expression & | operator() (const variable &x) const |
Public Attributes | |
const variable & | lhs |
const data_expression & | rhs |
Substitution that maps a single variable to a data expression.
Definition at line 24 of file variable_substitution.h.
Definition at line 28 of file variable_substitution.h.
Definition at line 27 of file variable_substitution.h.
Definition at line 29 of file variable_substitution.h.
Definition at line 26 of file variable_substitution.h.
|
inline |
Definition at line 34 of file variable_substitution.h.
|
inline |
Definition at line 39 of file variable_substitution.h.
const variable& mcrl2::data::variable_substitution::lhs |
Definition at line 31 of file variable_substitution.h.
const data_expression& mcrl2::data::variable_substitution::rhs |
Definition at line 32 of file variable_substitution.h.