mCRL2
|
#include <absinthe.h>
Public Member Functions | |
lift_equation_1_2 ()=default | |
std::vector< data::variable > | make_variables (const data::sort_expression_list &sorts, const std::string &hint, sort_function sigma) const |
data::data_equation | operator() (const data::function_symbol &f1, const data::function_symbol &f2, sort_function sigma, const abstraction_map &sigmaH) const |
Definition at line 619 of file absinthe.h.
|
default |
|
inline |
Definition at line 623 of file absinthe.h.
|
inline |
Definition at line 635 of file absinthe.h.