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

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