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

#include <absinthe.h>

Inheritance diagram for mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder:
mcrl2::pbes_system::sort_expression_builder< absinthe_sort_expression_builder > mcrl2::pbes_system::add_sort_expressions< Builder, Derived >

Public Types

typedef sort_expression_builder< absinthe_sort_expression_buildersuper
 
- Public Types inherited from mcrl2::pbes_system::add_sort_expressions< Builder, Derived >
typedef Builder< Derived > super
 

Public Member Functions

 absinthe_sort_expression_builder (const abstraction_map &sigmaA_, const sort_expression_substitution_map &sigmaS_, const function_symbol_substitution_map &sigmaF_, data::set_identifier_generator &generator_)
 
template<class T >
void apply (T &result, const data::sort_expression &x)
 
template<class T >
void apply (T &result, const data::function_symbol &x)
 
template<class T >
void apply (T &result, const data::application &x)
 
template<class T >
void apply (T &result, const data::lambda &x)
 
template<class T >
void apply (T &result, const data::data_expression &x)
 
- Public Member Functions inherited from mcrl2::pbes_system::add_sort_expressions< Builder, Derived >
template<class T >
void apply (T &result, const pbes_system::propositional_variable &x)
 
void update (pbes_system::pbes_equation &x)
 
void update (pbes_system::pbes &x)
 
template<class T >
void apply (T &result, const pbes_system::propositional_variable_instantiation &x)
 
template<class T >
void apply (T &result, const pbes_system::not_ &x)
 
template<class T >
void apply (T &result, const pbes_system::and_ &x)
 
template<class T >
void apply (T &result, const pbes_system::or_ &x)
 
template<class T >
void apply (T &result, const pbes_system::imp &x)
 
template<class T >
void apply (T &result, const pbes_system::forall &x)
 
template<class T >
void apply (T &result, const pbes_system::exists &x)
 
template<class T >
void apply (T &result, const pbes_system::pbes_expression &x)
 

Public Attributes

const abstraction_mapsigmaH
 
const sort_expression_substitution_mapsigmaS
 
const function_symbol_substitution_mapsigmaF
 
data::set_identifier_generatorgenerator
 

Detailed Description

Definition at line 131 of file absinthe.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ absinthe_sort_expression_builder()

mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::absinthe_sort_expression_builder ( const abstraction_map sigmaA_,
const sort_expression_substitution_map sigmaS_,
const function_symbol_substitution_map sigmaF_,
data::set_identifier_generator generator_ 
)
inline

Definition at line 141 of file absinthe.h.

Member Function Documentation

◆ apply() [1/5]

template<class T >
void mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::apply ( T &  result,
const data::application x 
)
inline

Definition at line 182 of file absinthe.h.

◆ apply() [2/5]

template<class T >
void mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::apply ( T &  result,
const data::data_expression x 
)
inline

Definition at line 218 of file absinthe.h.

◆ apply() [3/5]

template<class T >
void mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::apply ( T &  result,
const data::function_symbol x 
)
inline

Definition at line 169 of file absinthe.h.

◆ apply() [4/5]

template<class T >
void mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::apply ( T &  result,
const data::lambda x 
)
inline

Definition at line 205 of file absinthe.h.

◆ apply() [5/5]

template<class T >
void mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::apply ( T &  result,
const data::sort_expression x 
)
inline

Definition at line 153 of file absinthe.h.

Member Data Documentation

◆ generator

data::set_identifier_generator& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::generator

Definition at line 139 of file absinthe.h.

◆ sigmaF

const function_symbol_substitution_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaF

Definition at line 138 of file absinthe.h.

◆ sigmaH

const abstraction_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaH

Definition at line 136 of file absinthe.h.

◆ sigmaS

const sort_expression_substitution_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaS

Definition at line 137 of file absinthe.h.


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