mCRL2
|
#include <absinthe.h>
Public Types | |
typedef sort_expression_builder< absinthe_sort_expression_builder > | super |
![]() | |
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) |
![]() | |
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_map & | sigmaH |
const sort_expression_substitution_map & | sigmaS |
const function_symbol_substitution_map & | sigmaF |
data::set_identifier_generator & | generator |
Definition at line 131 of file absinthe.h.
typedef sort_expression_builder<absinthe_sort_expression_builder> mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::super |
Definition at line 133 of file absinthe.h.
|
inline |
Definition at line 141 of file absinthe.h.
|
inline |
Definition at line 182 of file absinthe.h.
|
inline |
Definition at line 218 of file absinthe.h.
|
inline |
Definition at line 169 of file absinthe.h.
|
inline |
Definition at line 205 of file absinthe.h.
|
inline |
Definition at line 153 of file absinthe.h.
data::set_identifier_generator& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::generator |
Definition at line 139 of file absinthe.h.
const function_symbol_substitution_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaF |
Definition at line 138 of file absinthe.h.
const abstraction_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaH |
Definition at line 136 of file absinthe.h.
const sort_expression_substitution_map& mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder::sigmaS |
Definition at line 137 of file absinthe.h.