CVC3  2.4.1
CVC3::TheoremValue Member List

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

clearAllFlags()CVC3::TheoremValueinlineprivate
d_cachedValueCVC3::TheoremValueprotected
d_clauselitCVC3::TheoremValueprotected
d_expandCVC3::TheoremValueprotected
d_flagCVC3::TheoremValueprotected
d_isAssumpCVC3::TheoremValueprotected
d_isSubstCVC3::TheoremValueprotected
d_proofCVC3::TheoremValueprotected
d_quantLevelCVC3::TheoremValueprotected
d_refcountCVC3::TheoremValueprotected
d_scopeLevelCVC3::TheoremValueprotected
d_thmCVC3::TheoremValueprotected
d_tmCVC3::TheoremValueprotected
findQuantLevelDebug()CVC3::TheoremValueinlineprivate
getAssumptionsRef() const =0CVC3::TheoremValueprivatepure virtual
getCachedValue() const CVC3::TheoremValueinlineprivate
getExpandFlag()CVC3::TheoremValueinlineprivate
getExpr() const CVC3::TheoremValueinlineprivatevirtual
getLHS() const CVC3::TheoremValueinlineprivatevirtual
getLitFlag()CVC3::TheoremValueinlineprivate
getMM()=0CVC3::TheoremValuepure virtual
getProof()CVC3::TheoremValueinlineprivate
getQuantLevel()CVC3::TheoremValueinlineprivate
getQuantLevelDebug()CVC3::TheoremValueinlineprivate
getRHS() const CVC3::TheoremValueinlineprivatevirtual
getScope()CVC3::TheoremValueinlineprivate
isAssump() const CVC3::TheoremValueinlineprivate
isFlagged() const CVC3::TheoremValueinlineprivate
isRewrite() const CVC3::TheoremValueinlineprivatevirtual
isSubst()CVC3::TheoremValueinlineprivate
operator=(const TheoremValue &t)CVC3::TheoremValueinlineprivate
recQuantLevel(Expr proof)CVC3::TheoremValueinlineprivate
RegTheoremValue classCVC3::TheoremValuefriend
RWTheoremValue classCVC3::TheoremValuefriend
setCachedValue(int value)CVC3::TheoremValueinlineprivate
setExpandFlag(bool val)CVC3::TheoremValueinlineprivate
setFlag()CVC3::TheoremValueinlineprivate
setLitFlag(bool val)CVC3::TheoremValueinlineprivate
setQuantLevel(unsigned level)CVC3::TheoremValueinlineprivate
setSubst()CVC3::TheoremValueinlineprivate
Theorem classCVC3::TheoremValuefriend
TheoremValue(TheoremManager *tm, const Expr &thm, const Proof &pf, bool isAssump)CVC3::TheoremValueinlineprivate
TheoremValue(const TheoremValue &t)CVC3::TheoremValueinlineprivate
toString() const CVC3::TheoremValueinline
~TheoremValue()CVC3::TheoremValueinlinevirtual