CVC3  2.4.1
CVC3::ClauseOwner Member List

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

ClauseOwner()CVC3::ClauseOwnerinlineprivate
ClauseOwner(const Clause &c)CVC3::ClauseOwnerinline
ClauseOwner(TheoryCore *core, VariableManager *vm, const Theorem &clause, int scope)CVC3::ClauseOwnerinline
ClauseOwner(const ClauseOwner &c)CVC3::ClauseOwnerinline
d_clauseCVC3::ClauseOwnerprivate
operator Clause &()CVC3::ClauseOwnerinline
operator const Clause &() const CVC3::ClauseOwnerinline
operator=(const ClauseOwner &c)CVC3::ClauseOwnerinline
~ClauseOwner()CVC3::ClauseOwnerinline