#include <absinthe.h>
Definition at line 500 of file absinthe.h.
◆ lift_function_symbol_1_2()
mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::lift_function_symbol_1_2 |
( |
| ) |
|
|
inline |
◆ operator()()
◆ print_cleaned()
std::string mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::print_cleaned |
( |
const data::sort_expression & |
s | ) |
const |
|
inline |
◆ suffix_with_sort
std::set<std::string> mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::suffix_with_sort |
◆ unprintable
std::map<std::string, std::string> mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::unprintable |
The documentation for this struct was generated from the following file: