| algebraic_simplify(Seq &tnf, SimplifierStats &stats) | lala::Simplifier< A, Allocator > | inline |
| allocator_type typedef | lala::Simplifier< A, Allocator > | |
| aty() const | lala::Simplifier< A, Allocator > | inline |
| cons_deduce(int i) | lala::Simplifier< A, Allocator > | inline |
| deduce(tell_type< Alloc2 > &&t) | lala::Simplifier< A, Allocator > | inline |
| deduce(size_t i) | lala::Simplifier< A, Allocator > | inline |
| deinterpret(const Seq &source, bool substitute) | lala::Simplifier< A, Allocator > | inline |
| deinterpret() | lala::Simplifier< A, Allocator > | inline |
| eliminate_entailed_constraints(const B &b, const Seq &tnf, SimplifierStats &stats) | lala::Simplifier< A, Allocator > | inline |
| eliminate_useless_variables(const Seq &tnf, size_t &num_eliminated_variables) | lala::Simplifier< A, Allocator > | inline |
| formula_sequence typedef | lala::Simplifier< A, Allocator > | |
| get_allocator() const | lala::Simplifier< A, Allocator > | inline |
| i_cse(const Seq &tnf, SimplifierStats &stats) | lala::Simplifier< A, Allocator > | inline |
| init_env(const Env &env) | lala::Simplifier< A, Allocator > | inline |
| initialize(int num_vars, int num_cons) | lala::Simplifier< A, Allocator > | inline |
| initialize_tnf(int num_vars, const Seq &tnf) | lala::Simplifier< A, Allocator > | inline |
| injective_concretization | lala::Simplifier< A, Allocator > | static |
| interpret(const F &f, Env &env, tell_type< Alloc2 > &tell, IDiagnostics &diagnostics) const | lala::Simplifier< A, Allocator > | inline |
| interpret_tell(const F &f, Env &env, tell_type< Alloc2 > &tell, IDiagnostics &diagnostics) const | lala::Simplifier< A, Allocator > | inline |
| is_abstract_universe | lala::Simplifier< A, Allocator > | static |
| is_bot() const | lala::Simplifier< A, Allocator > | inline |
| is_totally_ordered | lala::Simplifier< A, Allocator > | static |
| meet_equivalence_classes() | lala::Simplifier< A, Allocator > | inline |
| memory_type typedef | lala::Simplifier< A, Allocator > | |
| name | lala::Simplifier< A, Allocator > | static |
| num_deductions() const | lala::Simplifier< A, Allocator > | inline |
| num_vars_after_elimination() const | lala::Simplifier< A, Allocator > | inline |
| preserve_bot | lala::Simplifier< A, Allocator > | static |
| preserve_concrete_covers | lala::Simplifier< A, Allocator > | static |
| preserve_join | lala::Simplifier< A, Allocator > | static |
| preserve_meet | lala::Simplifier< A, Allocator > | static |
| preserve_top | lala::Simplifier< A, Allocator > | static |
| print_variable(const LVar< Alloc > &vname, const Env &benv, const Abs &b) const | lala::Simplifier< A, Allocator > | inline |
| sequential | lala::Simplifier< A, Allocator > | static |
| Simplifier class | lala::Simplifier< A, Allocator > | friend |
| Simplifier(AType atype, AType store_aty, abstract_ptr< sub_type > sub, const allocator_type &alloc=allocator_type()) | lala::Simplifier< A, Allocator > | inline |
| Simplifier(this_type &&other) | lala::Simplifier< A, Allocator > | inline |
| Simplifier(const Simplifier< A2, Alloc2 > &other, light_copy_tag tag, abstract_ptr< sub_type > sub, const allocator_type &alloc=allocator_type()) | lala::Simplifier< A, Allocator > | inline |
| sub_allocator_type typedef | lala::Simplifier< A, Allocator > | |
| sub_type typedef | lala::Simplifier< A, Allocator > | |
| substitute(F &f) const | lala::Simplifier< A, Allocator > | inline |
| this_type typedef | lala::Simplifier< A, Allocator > | |
| universe_type typedef | lala::Simplifier< A, Allocator > | |
| var_of(const TFormula< allocator_type > &f) const | lala::Simplifier< A, Allocator > | inline |
| vars() const | lala::Simplifier< A, Allocator > | inline |
1.9.1