| 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 |
| deinterpret(const Env &env) const | lala::VStore< U, Allocator > | inline |
| dtell(const VStore< U2, Alloc2 > &other, BInc< Mem > &has_changed) | lala::VStore< U, Allocator > | inline |
| dtell(const VStore< U2, Alloc2 > &other) | lala::VStore< U, Allocator > | inline |
| dtell_bot() | 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 |
| local_universe typedef | lala::VStore< U, Allocator > | |
| name | lala::VStore< U, Allocator > | static |
| num_refinements() 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) const | lala::VStore< U, Allocator > | inline |
| refine(size_t, BInc< M > &) const | 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(int x, const universe_type &dom) | lala::VStore< U, Allocator > | inline |
| tell(int x, const universe_type &dom, BInc< Mem > &has_changed) | lala::VStore< U, Allocator > | inline |
| tell(AVar x, const universe_type &dom) | lala::VStore< U, Allocator > | inline |
| tell(AVar x, const universe_type &dom, BInc< Mem > &has_changed) | lala::VStore< U, Allocator > | inline |
| tell(const tell_type< Alloc2 > &t, BInc< Mem > &has_changed) | lala::VStore< U, Allocator > | inline |
| tell(const tell_type< Alloc2 > &t) | lala::VStore< U, Allocator > | inline |
| tell(const VStore< U2, Alloc2 > &other, BInc< Mem > &has_changed) | lala::VStore< U, Allocator > | inline |
| tell(const VStore< U2, Alloc2 > &other) | lala::VStore< U, Allocator > | inline |
| tell_top() | lala::VStore< U, Allocator > | inline |
| 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 | 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.10.0