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

#include <absinthe.h>

Public Member Functions

data::function_symbol operator() (const data::function_symbol &f) const
 

Detailed Description

Definition at line 592 of file absinthe.h.

Member Function Documentation

◆ operator()()

data::function_symbol mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_2_3::operator() ( const data::function_symbol f) const
inline

Definition at line 594 of file absinthe.h.


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