|
data::variable_list | make_variables (const data::data_expression_list &x, const std::string &hint, sort_function sigma) const |
|
data::data_expression | lift (const data::data_expression &x) |
|
data::data_expression_list | lift (const data::data_expression_list &x) |
|
data::variable_list | lift (const data::variable_list &x) |
|
pbes_system::propositional_variable | lift (const pbes_system::propositional_variable &x) |
|
| absinthe_data_expression_builder (const abstraction_map &sigmaA_, const sort_expression_substitution_map &sigmaS_, const function_symbol_substitution_map &sigmaF_, data::set_identifier_generator &generator_, bool is_over_approximation) |
|
template<class T > |
void | apply (T &result, const data::data_expression &x) |
|
template<class T > |
void | apply (T &result, const propositional_variable_instantiation &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) |
|
void | update (pbes_system::pbes_equation &x) |
|
void | update (pbes_system::pbes &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) |
|
Definition at line 270 of file absinthe.h.