- d -

• dagFlag() : CVCL::ExprStream
• dagPrinting() : CVCL::ExprManager
• darkGrayShadow2ab() : CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• darkGrayShadow2ba() : CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• darkShadow() : CVCL::ArithTheoremProducer, CVCL::TheoryArith
• Data() : CVCL::Hash_Entry< _Key, _Data >, CVCL::Dict_Entry< _Key, _Data >
• dataType() : CVCL::VCL, CVCL::ValidityChecker, CVCL::TheoryDatatype
• datatypeConsExpr() : CVCL::VCL, CVCL::ValidityChecker, CVCL::TheoryDatatype
• datatypeSelExpr() : CVCL::VCL, CVCL::ValidityChecker, CVCL::TheoryDatatype
• datatypeTestExpr() : CVCL::VCL, CVCL::ValidityChecker, CVCL::TheoryDatatype
• DatatypeTheoremProducer() : CVCL::DatatypeTheoremProducer
• Debug() : CVCL::Debug, CVCL::DebugTimer
• DebugCounter() : CVCL::DebugCounter
• DebugException() : CVCL::DebugException
• DebugFlag() : CVCL::DebugFlag
• DebugTime() : CVCL::DebugTime
• DebugTimer() : CVCL::DebugTimer, CVCL::DebugTime
• decide_next_branch() : CSolver
• Decider() : SAT::DPLLT::Decider
• decider() : SAT::DPLLT
• DecisionEngine() : CVCL::DecisionEngine, CVCL::SearchImplBase
• DecisionEngineCaching() : CVCL::DecisionEngineCaching
• DecisionEngineDFS() : CVCL::DecisionEngineDFS
• DecisionEngineMBTF() : CVCL::DecisionEngineMBTF
• decompose() : CVCL::DatatypeTheoremProducer, CVCL::DatatypeProofRules
• decRefcount() : CVCL::ExprValue
• deduce() : CSolver
• Delete() : CVCL::Hash_Table< _Key, _Data >, CVCL::Dict< _Key, _Data >
• delete_unrelevant_clauses() : CSolver
• DeleteClause() : SatSolver
• deleted() : CVCL::Clause
• deleteData() : CVCL::MemoryManagerMalloc, CVCL::MemoryManagerChunks, CVCL::MemoryManager
• deleteNotifyObj() : CVCL::Context
• deleteParser() : CVCL::Parser
• depth() : CVCL::ExprStream
• deriveClosure() : CVCL::VCL
• deriveTheorem() : CVCL::Literal, CVCL::Variable
• deriveThmRec() : CVCL::Variable
• Destroy() : CVCL::Hash_Table< _Key, _Data >, CVCL::Dict< _Key, _Data >
• detail_dump_cl() : CDatabase
• dfs() : CVCL::TheoryArith::VarOrderGraph
• Dict() : CVCL::Dict< _Key, _Data >
• Dict_Ptr() : CVCL::Dict_Ptr< _Key, _Data >
• dir() : CVCL::Clause
• direction() : CLitPoolElement
• DisableClauseDeletion() : Xchaff, SatSolver
• diseqToIneq() : CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• distribL() : CVCL::RefinedArithTheoremProducer
• distribR() : CVCL::RefinedArithTheoremProducer
• divideDef() : CVCL::RefinedArithTheoremProducer
• divideExpr() : CVCL::VCL, CVCL::ValidityChecker
• dlevel() : CSolver, CVariable
• done() : CVCL::Parser, CVCL::ParserTemp
• doSolve() : CVCL::TheoryArith
• DPLLT() : SAT::DPLLT
• DPLLTBasic::DPLLTBasic() : SAT::DPLLTBasic
• dummyTheorem() : CVCL::DatatypeTheoremProducer, CVCL::DatatypeProofRules
• dump() : CSolver, CDatabase, CVariable, CClause, CLitPoolElement
• dump_assignment_stack() : CSolver
• dumpTrace() : CVCL::Debug

---