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

#include <absinthe.h>

Public Member Functions

 lift_equation_2_3 ()=default
 
std::vector< data::variablemake_variables (const data::sort_expression_list &sorts, const std::string &hint, sort_function sigma) const
 
data::data_expression enumerate_domain (const std::vector< data::variable > &x, const std::vector< data::variable > &X) const
 
data::data_equation operator() (const data::function_symbol &f2, const data::function_symbol &f3, sort_function sigma) const
 

Detailed Description

Definition at line 726 of file absinthe.h.

Constructor & Destructor Documentation

◆ lift_equation_2_3()

mcrl2::pbes_system::absinthe_algorithm::lift_equation_2_3::lift_equation_2_3 ( )
default

Member Function Documentation

◆ enumerate_domain()

data::data_expression mcrl2::pbes_system::absinthe_algorithm::lift_equation_2_3::enumerate_domain ( const std::vector< data::variable > &  x,
const std::vector< data::variable > &  X 
) const
inline

Definition at line 744 of file absinthe.h.

◆ make_variables()

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

Definition at line 730 of file absinthe.h.

◆ operator()()

data::data_equation mcrl2::pbes_system::absinthe_algorithm::lift_equation_2_3::operator() ( const data::function_symbol f2,
const data::function_symbol f3,
sort_function  sigma 
) const
inline

Definition at line 757 of file absinthe.h.


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