mCRL2
Loading...
Searching...
No Matches
mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2 Struct Reference

#include <absinthe.h>

Public Member Functions

 lift_function_symbol_1_2 ()
 
std::string print_cleaned (const data::sort_expression &s) const
 
data::function_symbol operator() (const data::function_symbol &f, sort_function sigma) const
 

Public Attributes

std::map< std::string, std::string > unprintable
 
std::set< std::string > suffix_with_sort
 

Detailed Description

Definition at line 500 of file absinthe.h.

Constructor & Destructor Documentation

◆ lift_function_symbol_1_2()

mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::lift_function_symbol_1_2 ( )
inline

Definition at line 505 of file absinthe.h.

Member Function Documentation

◆ operator()()

data::function_symbol mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::operator() ( const data::function_symbol f,
sort_function  sigma 
) const
inline

Definition at line 548 of file absinthe.h.

◆ print_cleaned()

std::string mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::print_cleaned ( const data::sort_expression s) const
inline

Definition at line 536 of file absinthe.h.

Member Data Documentation

◆ suffix_with_sort

std::set<std::string> mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::suffix_with_sort

Definition at line 503 of file absinthe.h.

◆ unprintable

std::map<std::string, std::string> mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2::unprintable

Definition at line 502 of file absinthe.h.


The documentation for this struct was generated from the following file: