Here is a list of all functions with links to the classes they belong to:

- d -

• data() : Gluco2::Solver::JustKey
• data_attr() : Gluco2::Heap2< Comp, Obj >
• deallocate_clause() : CaDiCaL::Internal
• debug() : Gluco2::CMap< T >, Gluco::CMap< T >, Minisat::CMap< T >
• decide() : CaDiCaL::Internal
• decide_phase() : CaDiCaL::Internal
• decisionLevel() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• Decompose() : Transduction::Transduction< Man, Param, lit, LitMax >
• decompose() : CaDiCaL::Internal
• decompose_analyze_binary_chain() : CaDiCaL::Internal
• decompose_analyze_binary_clauses() : CaDiCaL::Internal
• decompose_conflicting_scc_lrat() : CaDiCaL::Internal
• decompose_round() : CaDiCaL::Internal
• decrease() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• DecRef() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man, Transduction::ManUtil< Man, lit, LitMax >
• DeferDeleteArray() : CaDiCaL::DeferDeleteArray< T >
• DeferDeletePtr() : CaDiCaL::DeferDeletePtr< T >
• Delay() : CaDiCaL::Delay
• delay() : CaDiCaL::Delay
• delete_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::Internal, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• delete_external_original_clause() : CaDiCaL::Proof
• delete_garbage_clauses() : CaDiCaL::Internal
• delete_proof_chain() : CaDiCaL::Closure
• delete_sweep_binary() : CaDiCaL::Internal
• delete_unfactored() : CaDiCaL::Internal
• delete_unit_clause() : CaDiCaL::Proof
• DelVec() : Transduction::ManUtil< Man, lit, LitMax >
• demote_clause() : CaDiCaL::Internal, CaDiCaL::Tracer
• dequeue() : CaDiCaL::Eliminator, CaDiCaL::Queue
• derefObj() : Rewire::Miaig
• derefObj_rec() : Rewire::Miaig
• detachClause() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• determine_actual_backtrack_level() : CaDiCaL::Internal
• DFS() : CaDiCaL::DFS
• disable() : CaDiCaL::Reluctant, CaDiCaL::Terminal
• disconnect() : CaDiCaL::Proof
• disconnect_external_propagator() : CaDiCaL::Solver
• disconnect_fixed_listener() : CaDiCaL::Solver
• disconnect_learner() : CaDiCaL::Solver
• disconnect_proof_tracer() : CaDiCaL::Internal, CaDiCaL::Solver
• disconnect_terminator() : CaDiCaL::Solver
• DoubleOption() : Gluco2::DoubleOption, Gluco::DoubleOption, Minisat::DoubleOption
• DoubleRange() : Gluco2::DoubleRange, Gluco::DoubleRange, Minisat::DoubleRange
• drand() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• DratTracer() : CaDiCaL::DratTracer
• dump() : CaDiCaL::Checker, CaDiCaL::Internal, CaDiCaL::LratChecker
• dup() : Rewire::Miaig
• dupDfs() : Rewire::Miaig
• dupMulti() : Rewire::Miaig
• dupStrash() : Rewire::Miaig
• dynamic_truth_table() : kitty::dynamic_truth_table