- d -

• deadClause_ : HVariableState
• defaultWt : ZZFormulaInfo
• dirtyDeriv_ : GroundFeature
• dirtyLogValue_ : GroundFeature
• dirtyValue_ : GroundFeature
• disIdx_ : HMaxWalkSat::FlipDisVarIdxCont
• div : IdxDiv
• DIVIDEDBY_NAME : PredicateTemplate
• DN : DiscriminativeLearner
• doDerivsOfLog_ : RecursiveGroundFeature , RecursiveFeature
• domain : ZZFormulaInfo
• domain_ : Factor
• domainIdx : UndoInfo , IndexCountDomainIdx

---