Here is a list of all documented class members with links to the class documentation for each member:

- d -

• Database() : Database
• deadClause_ : HVariableState
• decrementNumTrueLits() : HVariableState , VariableState
• defaultWt : ZZFormulaInfo
• deleteAndClear() : ListObj
• deleteArraysAndClear() : ArraysAccessor< Type >
• deleteCache() : AuxClauseData
• deleteContentsAndClear() : StrFifoList , HashList< Type, HashFn, EqualFn >
• deleteFoClauseFrequencies() : GroundClause
• deleteGndClauseSet() : GroundPredicate
• deleteGndPredsGndClauseSets() : MRF
• deleteItemsAndClear() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• deleteItemsAndClearCompress() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• deletePowerSet() : PowerSet
• deleteVarsTypeIdArr() : Predicate
• destroy() : LBFGSR , LBFGSP , PowerSet , LBFGSB
• dirtyAll() : GroundRRF
• dirtyDeriv_ : GroundFeature
• dirtyLogValue_ : GroundFeature
• dirtyValue_ : GroundFeature
• DiscriminativeLearner() : DiscriminativeLearner
• disIdx_ : HMaxWalkSat::FlipDisVarIdxCont
• div : IdxDiv
• dividedBy() : Internals
• DIVIDEDBY_NAME : PredicateTemplate
• DN : DiscriminativeLearner
• doDerivsOfLog_ : RecursiveGroundFeature , RecursiveFeature
• Domain() : Domain
• domain : ZZFormulaInfo
• domain_ : Factor
• domainIdx : IndexCountDomainIdx , UndoInfo
• DoubleRange() : DoubleRange
• doubleToString() : Util
• DualMap() : DualMap

---