lala::pc::Formula< AD, Allocator > Member List

This is the complete list of members for lala::pc::Formula< AD, Allocator >, including all inherited members.

A typedef	lala::pc::Formula< AD, Allocator >
AE typedef	lala::pc::Formula< AD, Allocator >
allocator_type typedef	lala::pc::Formula< AD, Allocator >
ask(const A &a) const	lala::pc::Formula< AD, Allocator >	inline
ask_type typedef	lala::pc::Formula< AD, Allocator >
Bicond typedef	lala::pc::Formula< AD, Allocator >
Conj typedef	lala::pc::Formula< AD, Allocator >
contradeduce(A &a) const	lala::pc::Formula< AD, Allocator >	inline
deduce(A &a) const	lala::pc::Formula< AD, Allocator >	inline
deinterpret(const A &a, const Env &env, AType apc, Allocator2 allocator=Allocator2()) const	lala::pc::Formula< AD, Allocator >	inline
Disj typedef	lala::pc::Formula< AD, Allocator >
embed(A &a, const U &u) const	lala::pc::Formula< AD, Allocator >	inline
Eq typedef	lala::pc::Formula< AD, Allocator >
Formula	lala::pc::Formula< AD, Allocator >	friend
Formula()=default	lala::pc::Formula< AD, Allocator >
Formula(this_type &&)=default	lala::pc::Formula< AD, Allocator >
Formula(const Formula< A2, Alloc2 > &other, const Allocator &allocator=Allocator())	lala::pc::Formula< AD, Allocator >	inline
Gt typedef	lala::pc::Formula< AD, Allocator >
IAE	lala::pc::Formula< AD, Allocator >	static
IBicond	lala::pc::Formula< AD, Allocator >	static
IConj	lala::pc::Formula< AD, Allocator >	static
IDisj	lala::pc::Formula< AD, Allocator >	static
IEq	lala::pc::Formula< AD, Allocator >	static
IFalse	lala::pc::Formula< AD, Allocator >	static
IGt	lala::pc::Formula< AD, Allocator >	static
IImply	lala::pc::Formula< AD, Allocator >	static
ILeq	lala::pc::Formula< AD, Allocator >	static
Imply typedef	lala::pc::Formula< AD, Allocator >
INeq	lala::pc::Formula< AD, Allocator >	static
INVarLit	lala::pc::Formula< AD, Allocator >	static
IPVarLit	lala::pc::Formula< AD, Allocator >	static
is(size_t kind) const	lala::pc::Formula< AD, Allocator >	inline
ITrue	lala::pc::Formula< AD, Allocator >	static
IXor	lala::pc::Formula< AD, Allocator >	static
kind() const	lala::pc::Formula< AD, Allocator >	inline
length() const	lala::pc::Formula< AD, Allocator >	inline
Leq typedef	lala::pc::Formula< AD, Allocator >
make(SubFormula &&sub_formula)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_abstract_element(tell_type &&tellv, tell_type &&not_tellv, ask_type &&askv, ask_type &&not_askv)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_bicond(this_ptr &&left, this_ptr &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_conj(this_ptr &&left, this_ptr &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_disj(this_ptr &&left, this_ptr &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_eq(term_type &&left, term_type &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_false()	lala::pc::Formula< AD, Allocator >	inlinestatic
make_gt(term_type &&left, term_type &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_imply(this_ptr &&left, this_ptr &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_leq(term_type &&left, term_type &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_neq(term_type &&left, term_type &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_nvarlit(const AVar &avar)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_pvarlit(const AVar &avar)	lala::pc::Formula< AD, Allocator >	inlinestatic
make_true()	lala::pc::Formula< AD, Allocator >	inlinestatic
make_xor(this_ptr &&left, this_ptr &&right)	lala::pc::Formula< AD, Allocator >	inlinestatic
nask(const A &a) const	lala::pc::Formula< AD, Allocator >	inline
Neq typedef	lala::pc::Formula< AD, Allocator >
NVarLit typedef	lala::pc::Formula< AD, Allocator >
operator=(this_type &&)=default	lala::pc::Formula< AD, Allocator >
print(const A &a) const	lala::pc::Formula< AD, Allocator >	inline
project(const A &a, U &r) const	lala::pc::Formula< AD, Allocator >	inline
PVarLit typedef	lala::pc::Formula< AD, Allocator >
tell_type typedef	lala::pc::Formula< AD, Allocator >
term_type typedef	lala::pc::Formula< AD, Allocator >
this_ptr typedef	lala::pc::Formula< AD, Allocator >
this_type typedef	lala::pc::Formula< AD, Allocator >
U typedef	lala::pc::Formula< AD, Allocator >
Xor typedef	lala::pc::Formula< AD, Allocator >