Clasp::SharedLiterals Member List

This is the complete list of members for Clasp::SharedLiterals, including all inherited members.

begin() const	Clasp::SharedLiterals	[inline]
destroy()	Clasp::SharedLiterals	[private]
end() const	Clasp::SharedLiterals	[inline]
lits_	Clasp::SharedLiterals	[private]
newShareable(const LitVec &lits, ConstraintType t, uint32 numRefs=1)	Clasp::SharedLiterals	[inline, static]
newShareable(const Literal *lits, uint32 size, ConstraintType t, uint32 numRefs=1)	Clasp::SharedLiterals	[static]
operator=(const SharedLiterals &)	Clasp::SharedLiterals	[private]
refCount() const	Clasp::SharedLiterals	[inline]
refCount_	Clasp::SharedLiterals	[private]
release()	Clasp::SharedLiterals
share()	Clasp::SharedLiterals
SharedLiterals(const Literal *lits, uint32 size, ConstraintType t, uint32 numRefs)	Clasp::SharedLiterals	[private]
SharedLiterals(const SharedLiterals &)	Clasp::SharedLiterals	[private]
simplify(Solver &s)	Clasp::SharedLiterals
size() const	Clasp::SharedLiterals	[inline]
size_type_	Clasp::SharedLiterals	[private]
type() const	Clasp::SharedLiterals	[inline]
unique() const	Clasp::SharedLiterals	[inline]