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

#include <absinthe.h>

Public Member Functions

 lift_equation_1_2 ()=default
 
std::vector< data::variablemake_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
 

Detailed Description

Definition at line 619 of file absinthe.h.

Constructor & Destructor Documentation

◆ lift_equation_1_2()

mcrl2::pbes_system::absinthe_algorithm::lift_equation_1_2::lift_equation_1_2 ( )
default

Member Function Documentation

◆ make_variables()

std::vector< data::variable > mcrl2::pbes_system::absinthe_algorithm::lift_equation_1_2::make_variables ( const data::sort_expression_list sorts,
const std::string &  hint,
sort_function  sigma 
) const
inline

Definition at line 623 of file absinthe.h.

◆ operator()()

data::data_equation mcrl2::pbes_system::absinthe_algorithm::lift_equation_1_2::operator() ( const data::function_symbol f1,
const data::function_symbol f2,
sort_function  sigma,
const abstraction_map sigmaH 
) const
inline

Definition at line 635 of file absinthe.h.


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