CVC3::ClauseOwner Member List

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

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