CVCL::ClauseOwner Member List

This is the complete list of members for CVCL::ClauseOwner, including all inherited members.

ClauseOwner()	CVCL::ClauseOwner	[inline, private]
ClauseOwner(const Clause &c)	CVCL::ClauseOwner	[inline]
ClauseOwner(TheoryCore *core, VariableManager *vm, const Theorem &clause, int scope)	CVCL::ClauseOwner	[inline]
ClauseOwner(const ClauseOwner &c)	CVCL::ClauseOwner	[inline]
d_clause	CVCL::ClauseOwner	[private]
operator Clause &()	CVCL::ClauseOwner	[inline]
operator const Clause &() const	CVCL::ClauseOwner	[inline]
operator=(const ClauseOwner &c)	CVCL::ClauseOwner	[inline]
~ClauseOwner()	CVCL::ClauseOwner	[inline]

---