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

- d -

• Database() : Database
• decrementNumDBAtoms() : LazyInfo , LWInfo
• decrementNumTrueLits() : VariableState
• defaultWt : ZZFormulaInfo
• deleteAndClear() : ListObj
• deleteArraysAndClear() : ArraysAccessor< Type >
• deleteCache() : AuxClauseData
• deleteContentsAndClear() : StrFifoList , HashList< Type, HashFn, EqualFn >
• deleteFoClauseFrequencies() : GroundClause
• deleteGndClauseSet() : GroundPredicate
• deleteGndPredsGndClauseSets() : MRF
• deleteIntPredicates() : IntClause
• deleteItemsAndClear() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• deleteItemsAndClearCompress() : HashArray< Type, HashFn, EqualFn > , Array< Type >
• deleteParentWtPtrs() : GroundClause
• deletePowerSet() : PowerSet
• deleteVarsTypeIdArr() : Predicate
• destroy() : PowerSet , LBFGSB
• div : IdxDiv
• dividedBy() : Internals
• DIVIDEDBY_NAME : PredicateTemplate
• domain : ZZFormulaInfo
• Domain() : Domain
• domainIdx : IndexCountDomainIdx , UndoInfo
• doubleToString() : Util
• DualMap() : DualMap

---