mCRL2
|
#include <absinthe.h>
Public Types | |
using | argument_type = data::sort_expression |
using | result_type = data::sort_expression |
Public Member Functions | |
sort_function (const abstraction_map &sigmaH, const sort_expression_substitution_map &sigmaS, const function_symbol_substitution_map &sigmaF, data::set_identifier_generator &generator) | |
data::sort_expression | operator() (const data::sort_expression &x) |
Public Attributes | |
absinthe_sort_expression_builder | f |
Definition at line 247 of file absinthe.h.
Definition at line 249 of file absinthe.h.
Definition at line 250 of file absinthe.h.
|
inline |
Definition at line 254 of file absinthe.h.
|
inline |
Definition at line 262 of file absinthe.h.
absinthe_sort_expression_builder mcrl2::pbes_system::absinthe_algorithm::sort_function::f |
Definition at line 252 of file absinthe.h.