Gluco::Clause Member List

This is the complete list of members for Gluco::Clause, including all inherited members.

abs	Gluco::Clause
abstraction() const	Gluco::Clause	inline
act	Gluco::Clause
activity()	Gluco::Clause	inline
calcAbstraction()	Gluco::Clause	inline
canBeDel()	Gluco::Clause	inline
canbedel	Gluco::Clause
ClauseAllocator class	Gluco::Clause	friend
has_extra	Gluco::Clause
has_extra() const	Gluco::Clause	inline
last() const	Gluco::Clause	inline
lbd	Gluco::Clause
lbd() const	Gluco::Clause	inline
learnt	Gluco::Clause
learnt() const	Gluco::Clause	inline
lit	Gluco::Clause
mark	Gluco::Clause
mark() const	Gluco::Clause	inline
mark(uint32_t m)	Gluco::Clause	inline
operator const Lit *(void) const	Gluco::Clause	inline
operator[](int i)	Gluco::Clause	inline
operator[](int i) const	Gluco::Clause	inline
pop()	Gluco::Clause	inline
rel	Gluco::Clause
relocate(CRef c)	Gluco::Clause	inline
relocation() const	Gluco::Clause	inline
reloced	Gluco::Clause
reloced() const	Gluco::Clause	inline
setCanBeDel(bool b)	Gluco::Clause	inline
setLBD(int i)	Gluco::Clause	inline
setSizeWithoutSelectors(unsigned int n)	Gluco::Clause	inline
shrink(int i)	Gluco::Clause	inline
size	Gluco::Clause
size() const	Gluco::Clause	inline
sizeWithoutSelectors() const	Gluco::Clause	inline
strengthen(Lit p)	Gluco::Clause	inline
subsumes(const Clause &other) const	Gluco::Clause	inline
szWithoutSelectors	Gluco::Clause