This is the complete list of members for lala::Table< A, U, Allocator >, including all inherited members.

allocator_type typedef	lala::Table< A, U, Allocator >
ask(const ask_type< Alloc > &a) const	lala::Table< A, U, Allocator >	inline
aty() const	lala::Table< A, U, Allocator >	inline
bitset_type typedef	lala::Table< A, U, Allocator >
bot(AType atype=UNTYPED, AType atype_sub=UNTYPED, const allocator_type &alloc=allocator_type(), const sub_allocator_type &sub_alloc=sub_allocator_type())	lala::Table< A, U, Allocator >	inlinestatic
bot(Env &env, const allocator_type &alloc=allocator_type(), const sub_allocator_type &sub_alloc=sub_allocator_type())	lala::Table< A, U, Allocator >	inlinestatic
deinterpret(const Env &env) const	lala::Table< A, U, Allocator >	inline
extract(B &ua) const	lala::Table< A, U, Allocator >	inline
flatten(const F &f, const typename F::allocator_type &alloc) const	lala::Table< A, U, Allocator >	inline
flatten_and(const F &f, typename F::Sequence &conjuncts) const	lala::Table< A, U, Allocator >	inline
flatten_or(const F &f, typename F::Sequence &disjuncts) const	lala::Table< A, U, Allocator >	inline
flatten_table(const battery::vector< battery::vector< local_universe, Alloc1 >, Alloc1 > &table, const Alloc2 &alloc) const	lala::Table< A, U, Allocator >	inline
get_allocator() const	lala::Table< A, U, Allocator >	inline
injective_concretization	lala::Table< A, U, Allocator >	static
interpret(const F &f2, Env &env, I &intermediate, IDiagnostics &diagnostics) const	lala::Table< A, U, Allocator >	inline
interpret_ask(const F &f, const Env &env, ask_type< Alloc > &ask, IDiagnostics &diagnostics) const	lala::Table< A, U, Allocator >	inline
interpret_atom(battery::vector< AVar, Alloc > &header, battery::vector< battery::vector< local_universe, Alloc >, Alloc > &tell_table2, battery::vector< battery::vector< local_universe, Alloc >, Alloc > &ask_table2, const F &f, Env &env, IDiagnostics &diagnostics) const	lala::Table< A, U, Allocator >	inline
interpret_tell(const F &f, Env &env, tell_type< Alloc > &tell, IDiagnostics &diagnostics) const	lala::Table< A, U, Allocator >	inline
is_abstract_universe	lala::Table< A, U, Allocator >	static
is_bot() const	lala::Table< A, U, Allocator >	inline
is_extractable(const ExtractionStrategy &strategy=ExtractionStrategy()) const	lala::Table< A, U, Allocator >	inline
is_top() const	lala::Table< A, U, Allocator >	inline
is_totally_ordered	lala::Table< A, U, Allocator >	static
local_universe typedef	lala::Table< A, U, Allocator >
memory_type typedef	lala::Table< A, U, Allocator >
name	lala::Table< A, U, Allocator >	static
num_refinements() const	lala::Table< A, U, Allocator >	inline
num_tables() const	lala::Table< A, U, Allocator >	inline
operator[](int x) const	lala::Table< A, U, Allocator >	inline
preserve_bot	lala::Table< A, U, Allocator >	static
preserve_concrete_covers	lala::Table< A, U, Allocator >	static
preserve_join	lala::Table< A, U, Allocator >	static
preserve_meet	lala::Table< A, U, Allocator >	static
preserve_top	lala::Table< A, U, Allocator >	static
project(AVar x) const	lala::Table< A, U, Allocator >	inline
refine(size_t i, BInc< Mem > &has_changed)	lala::Table< A, U, Allocator >	inline
restore(const snapshot_type< Alloc2 > &snap)	lala::Table< A, U, Allocator >	inline
sequential	lala::Table< A, U, Allocator >	static
snapshot(const Alloc2 &alloc=Alloc2()) const	lala::Table< A, U, Allocator >	inline
sub_allocator_type typedef	lala::Table< A, U, Allocator >
sub_local_universe typedef	lala::Table< A, U, Allocator >
sub_ptr typedef	lala::Table< A, U, Allocator >
sub_type typedef	lala::Table< A, U, Allocator >
sub_universe_type typedef	lala::Table< A, U, Allocator >
subdomain() const	lala::Table< A, U, Allocator >	inline
Table class	lala::Table< A, U, Allocator >	friend
Table(AType uid, AType store_aty, sub_ptr sub, const allocator_type &alloc=allocator_type())	lala::Table< A, U, Allocator >	inline
Table(AType uid, sub_ptr sub, const allocator_type &alloc=allocator_type())	lala::Table< A, U, Allocator >	inline
Table(const Table< A2, U2, Alloc2 > &other, AbstractDeps< Allocators... > &deps)	lala::Table< A, U, Allocator >	inline
table_type typedef	lala::Table< A, U, Allocator >
tell(const tell_type< Alloc > &t, BInc< Mem > &has_changed)	lala::Table< A, U, Allocator >	inline
tell(const tell_type< Alloc > &t)	lala::Table< A, U, Allocator >	inline
tell(AVar x, const sub_universe_type &dom)	lala::Table< A, U, Allocator >	inline
tell(AVar x, const sub_universe_type &dom, BInc< Mem > &has_changed)	lala::Table< A, U, Allocator >	inline
this_type typedef	lala::Table< A, U, Allocator >
to1D(int i, int j) const	lala::Table< A, U, Allocator >	inline
top(AType atype=UNTYPED, AType atype_sub=UNTYPED, const allocator_type &alloc=allocator_type(), const sub_allocator_type &sub_alloc=sub_allocator_type())	lala::Table< A, U, Allocator >	inlinestatic
top(Env &env, const allocator_type &alloc=allocator_type(), const sub_allocator_type &sub_alloc=sub_allocator_type())	lala::Table< A, U, Allocator >	inlinestatic
universe_type typedef	lala::Table< A, U, Allocator >
vars() const	lala::Table< A, U, Allocator >	inline