lala::SearchTree< A, Split, Allocator > Member List

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

allocator_type typedef	lala::SearchTree< A, Split, Allocator >
ask_type typedef	lala::SearchTree< A, Split, Allocator >
aty() const	lala::SearchTree< A, Split, Allocator >	inline
branch_type typedef	lala::SearchTree< A, Split, Allocator >
deduce(const tell_type< Alloc > &t)	lala::SearchTree< A, Split, Allocator >	inline
deduce()	lala::SearchTree< A, Split, Allocator >	inline
depth() const	lala::SearchTree< A, Split, Allocator >	inline
extract(B &ua) const	lala::SearchTree< A, Split, Allocator >	inline
get_allocator() const	lala::SearchTree< A, Split, Allocator >	inline
injective_concretization	lala::SearchTree< A, Split, Allocator >	static
interpret(const F &f, Env &env, I &intermediate, IDiagnostics &diagnostics) const	lala::SearchTree< A, Split, Allocator >	inline
interpret_ask(const F &f, Env &env, ask_type< Alloc2 > &ask, IDiagnostics &diagnostics) const	lala::SearchTree< A, Split, Allocator >	inline
interpret_tell(const F &f, Env &env, tell_type< Alloc2 > &tell, IDiagnostics &diagnostics) const	lala::SearchTree< A, Split, Allocator >	inline
is_abstract_universe	lala::SearchTree< A, Split, Allocator >	static
is_bot() const	lala::SearchTree< A, Split, Allocator >	inline
is_extractable(const ExtractionStrategy &strategy=ExtractionStrategy()) const	lala::SearchTree< A, Split, Allocator >	inline
is_singleton() const	lala::SearchTree< A, Split, Allocator >	inline
is_top() const	lala::SearchTree< A, Split, Allocator >	inline
is_totally_ordered	lala::SearchTree< A, Split, Allocator >	static
local_universe typedef	lala::SearchTree< A, Split, Allocator >
name	lala::SearchTree< A, Split, Allocator >	static
preserve_bot	lala::SearchTree< A, Split, Allocator >	static
preserve_concrete_covers	lala::SearchTree< A, Split, Allocator >	static
preserve_join	lala::SearchTree< A, Split, Allocator >	static
preserve_meet	lala::SearchTree< A, Split, Allocator >	static
preserve_top	lala::SearchTree< A, Split, Allocator >	static
project(AVar x) const	lala::SearchTree< A, Split, Allocator >	inline
project(AVar x, Univ &r) const	lala::SearchTree< A, Split, Allocator >	inline
restore(const snapshot_type< Alloc2 > &snap)	lala::SearchTree< A, Split, Allocator >	inline
SearchTree class	lala::SearchTree< A, Split, Allocator >	friend
SearchTree(AType uid, sub_ptr a, split_ptr split, const allocator_type &alloc=allocator_type())	lala::SearchTree< A, Split, Allocator >	inline
SearchTree(const SearchTree< A2, S2, Alloc2 > &other, AbstractDeps< Allocators... > &deps)	lala::SearchTree< A, Split, Allocator >	inline
sequential	lala::SearchTree< A, Split, Allocator >	static
snapshot(const Alloc2 &alloc=Alloc2()) const	lala::SearchTree< A, Split, Allocator >	inline
split_ptr typedef	lala::SearchTree< A, Split, Allocator >
split_type typedef	lala::SearchTree< A, Split, Allocator >
sub_allocator_type typedef	lala::SearchTree< A, Split, Allocator >
sub_ptr typedef	lala::SearchTree< A, Split, Allocator >
sub_type typedef	lala::SearchTree< A, Split, Allocator >
this_type typedef	lala::SearchTree< A, Split, Allocator >
universe_type typedef	lala::SearchTree< A, Split, Allocator >