| allocator_type typedef | lala::VStore< U, Allocator > | |
| ask(const ask_type< Alloc2 > &t) const | lala::VStore< U, Allocator > | inline |
| ask_type typedef | lala::VStore< U, Allocator > | |
| aty() const | lala::VStore< U, Allocator > | inline |
| bot(AType atype=UNTYPED, const allocator_type &alloc=allocator_type{}) | lala::VStore< U, Allocator > | inlinestatic |
| bot(Env &env, const allocator_type &alloc=allocator_type{}) | lala::VStore< U, Allocator > | inlinestatic |
| copy_to(Group &group, Store &store) const | lala::VStore< U, Allocator > | inline |
| deduce(const tell_type< Alloc2 > &t) | lala::VStore< U, Allocator > | inline |
| deduce(size_t) const | lala::VStore< U, Allocator > | inline |
| deinterpret(const Env &env, const Allocator2 &allocator=Allocator2()) const | lala::VStore< U, Allocator > | inline |
| deinterpret(const I &intermediate, const Env &env, const Allocator2 &allocator=Allocator2()) const | lala::VStore< U, Allocator > | inline |
| embed(int x, const universe_type &dom) | lala::VStore< U, Allocator > | inline |
| embed(AVar x, const universe_type &dom) | lala::VStore< U, Allocator > | inline |
| extract(VStore< U2, Alloc2 > &ua) const | lala::VStore< U, Allocator > | inline |
| get_allocator() const | lala::VStore< U, Allocator > | inline |
| injective_concretization | lala::VStore< U, Allocator > | static |
| interpret(const F &f, Env &env, I &intermediate, IDiagnostics &diagnostics) const | lala::VStore< U, Allocator > | inline |
| interpret_ask(const F &f, const Env &env, ask_type< Alloc2 > &ask, IDiagnostics &diagnostics) const | lala::VStore< U, Allocator > | inline |
| interpret_tell(const F &f, Env &env, tell_type< Alloc2 > &tell, IDiagnostics &diagnostics) const | lala::VStore< U, Allocator > | inline |
| is_abstract_universe | lala::VStore< U, Allocator > | static |
| is_bot() const | lala::VStore< U, Allocator > | inline |
| is_extractable(const ExtractionStrategy &strategy=ExtractionStrategy()) const | lala::VStore< U, Allocator > | inline |
| is_top() const | lala::VStore< U, Allocator > | inline |
| is_totally_ordered | lala::VStore< U, Allocator > | static |
| join(const VStore< U2, Alloc2 > &other) | lala::VStore< U, Allocator > | inline |
| join_top() | lala::VStore< U, Allocator > | inline |
| local_universe typedef | lala::VStore< U, Allocator > | |
| meet(const VStore< U2, Alloc2 > &other) | lala::VStore< U, Allocator > | inline |
| meet_bot() | lala::VStore< U, Allocator > | inline |
| name | lala::VStore< U, Allocator > | static |
| num_deductions() const | lala::VStore< U, Allocator > | inline |
| operator[](int x) const | lala::VStore< U, Allocator > | inline |
| preserve_bot | lala::VStore< U, Allocator > | static |
| preserve_concrete_covers | lala::VStore< U, Allocator > | static |
| preserve_join | lala::VStore< U, Allocator > | static |
| preserve_meet | lala::VStore< U, Allocator > | static |
| preserve_top | lala::VStore< U, Allocator > | static |
| print() const | lala::VStore< U, Allocator > | inline |
| project(AVar x, Univ &u) const | lala::VStore< U, Allocator > | inline |
| project(AVar x) const | lala::VStore< U, Allocator > | inline |
| reset_data(allocator_type alloc) | lala::VStore< U, Allocator > | inline |
| restore(const snapshot_type< Alloc > &snap) | lala::VStore< U, Allocator > | inline |
| sequential | lala::VStore< U, Allocator > | static |
| snapshot(const Alloc &alloc=Alloc()) const | lala::VStore< U, Allocator > | inline |
| snapshot_type typedef | lala::VStore< U, Allocator > | |
| tell_type typedef | lala::VStore< U, Allocator > | |
| this_type typedef | lala::VStore< U, Allocator > | |
| top(AType atype=UNTYPED, const allocator_type &alloc=allocator_type{}) | lala::VStore< U, Allocator > | inlinestatic |
| top(Env &env, const allocator_type &alloc=allocator_type{}) | lala::VStore< U, Allocator > | inlinestatic |
| universe_type typedef | lala::VStore< U, Allocator > | |
| vars() const | lala::VStore< U, Allocator > | inline |
| VStore class | lala::VStore< U, Allocator > | friend |
| VStore(const this_type &other) | lala::VStore< U, Allocator > | inline |
| VStore(AType atype, const allocator_type &alloc=allocator_type()) | lala::VStore< U, Allocator > | inline |
| VStore(AType atype, size_t size, const allocator_type &alloc=allocator_type()) | lala::VStore< U, Allocator > | inline |
| VStore(const VStore< R, allocator_type > &other) | lala::VStore< U, Allocator > | inline |
| VStore(const VStore< R, Alloc2 > &other, const allocator_type &alloc=allocator_type()) | lala::VStore< U, Allocator > | inline |
| VStore(const VStore< R, Alloc2 > &other, const AbstractDeps< Allocators... > &deps) | lala::VStore< U, Allocator > | inline |
| VStore(this_type &&other) | lala::VStore< U, Allocator > | inline |
1.12.0