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

- d -

• data() : Bitset
• delete_element() : painless::vector2D< T >
• delete_lit_nonUnit() : Formula
• delete_nonUnit() : Formula
• delete_nonUnit_occurence() : Formula
• delete_row() : painless::vector2D< T >
• delete_unit() : Formula
• deserializeClauses() : AllGatherSharing, GenericGlobalSharing, MallobSharing
• diversification() : SolverFactory
• diversify() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• doesClauseExist() : MallobSharing
• doSharing() : AllGatherSharing, GenericGlobalSharing, GlobalSharingStrategy, HordeSatSharing, MallobSharing, SharingStrategy, SimpleSharing