mCRL2
|
#include <absinthe.h>
Public Member Functions | |
lift_equation_2_3 ()=default | |
std::vector< data::variable > | make_variables (const data::sort_expression_list &sorts, const std::string &hint, sort_function sigma) const |
data::data_expression | enumerate_domain (const std::vector< data::variable > &x, const std::vector< data::variable > &X) const |
data::data_equation | operator() (const data::function_symbol &f2, const data::function_symbol &f3, sort_function sigma) const |
Definition at line 726 of file absinthe.h.
|
default |
|
inline |
Definition at line 744 of file absinthe.h.
|
inline |
Definition at line 730 of file absinthe.h.
|
inline |
Definition at line 757 of file absinthe.h.