| bot() | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| deinterpret(AVar avar, const Env &env, const Allocator &allocator=Allocator()) const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| deinterpret() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| eq_k(value_type k) | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| extract(local_type &ua) const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse class | lala::FlatUniverse< PreUniverse, Mem > | friend |
| FlatUniverse() | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(value_type k) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(const this_type &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(this_type &&other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(const this_type2< M > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(const ArithBound< pre_universe, M > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| FlatUniverse(const ArithBound< typename pre_universe::dual_type, M > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| injective_concretization | lala::FlatUniverse< PreUniverse, Mem > | static |
| interpret(const F &f, const Env &env, this_type2< M2 > &value, IDiagnostics &diagnostics) | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| interpret_ask(const F &f, const Env &env, this_type2< M2 > &ask, IDiagnostics &diagnostics) | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| interpret_tell(const F &f, const Env &env, this_type2< M2 > &tell, IDiagnostics &diagnostics) | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| is_abstract_universe | lala::FlatUniverse< PreUniverse, Mem > | static |
| is_arithmetic | lala::FlatUniverse< PreUniverse, Mem > | static |
| is_bot() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| is_top() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| is_totally_ordered | lala::FlatUniverse< PreUniverse, Mem > | static |
| join(const this_type2< M1 > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| join_top() | lala::FlatUniverse< PreUniverse, Mem > | inline |
| local_type typedef | lala::FlatUniverse< PreUniverse, Mem > | |
| meet(const this_type2< M1 > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| meet_bot() | lala::FlatUniverse< PreUniverse, Mem > | inline |
| memory_type typedef | lala::FlatUniverse< PreUniverse, Mem > | |
| name | lala::FlatUniverse< PreUniverse, Mem > | static |
| operator value_type() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| operator=(const this_type2< M > &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| operator=(const this_type &other) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| pre_universe typedef | lala::FlatUniverse< PreUniverse, Mem > | |
| preserve_bot | lala::FlatUniverse< PreUniverse, Mem > | static |
| preserve_concrete_covers | lala::FlatUniverse< PreUniverse, Mem > | static |
| preserve_join | lala::FlatUniverse< PreUniverse, Mem > | static |
| preserve_meet | lala::FlatUniverse< PreUniverse, Mem > | static |
| preserve_top | lala::FlatUniverse< PreUniverse, Mem > | static |
| print() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| project(Sig fun, const local_type &a) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| project(Sig fun, const local_type &a, const local_type &b) | lala::FlatUniverse< PreUniverse, Mem > | inline |
| sequential | lala::FlatUniverse< PreUniverse, Mem > | static |
| this_type typedef | lala::FlatUniverse< PreUniverse, Mem > | |
| this_type2 typedef | lala::FlatUniverse< PreUniverse, Mem > | |
| top() | lala::FlatUniverse< PreUniverse, Mem > | inlinestatic |
| value() const | lala::FlatUniverse< PreUniverse, Mem > | inline |
| value_type typedef | lala::FlatUniverse< PreUniverse, Mem > | |
1.12.0