CVC3::ClauseOwner Member List

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

ClauseOwner()CVC3::ClauseOwner [inline, private]
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_clauseCVC3::ClauseOwner [private]
operator Clause &()CVC3::ClauseOwner [inline]
operator const Clause &() constCVC3::ClauseOwner [inline]
operator=(const ClauseOwner &c)CVC3::ClauseOwner [inline]
~ClauseOwner()CVC3::ClauseOwner [inline]


Generated on Tue Jul 3 14:35:52 2007 for CVC3 by  doxygen 1.5.1