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

- u -

• u2i() : CaDiCaL::Internal
• unassign() : CaDiCaL::Internal
• uncheckedEnqueue() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• uncheckedEnqueue2() : Gluco2::Solver
• underline() : CaDiCaL::Terminal
• unit_clauses() : CaDiCaL::Internal
• unit_id() : CaDiCaL::Internal
• unlucky() : CaDiCaL::Internal
• unmark() : CaDiCaL::External, CaDiCaL::Internal
• unmark67() : CaDiCaL::Internal
• unmark_all() : CaDiCaL::Closure
• unmark_as_conditional_literal() : CaDiCaL::Internal
• unmark_binary_literals() : CaDiCaL::Internal
• unmark_block() : CaDiCaL::Internal
• unmark_clause() : CaDiCaL::Internal
• unmark_decomposed() : CaDiCaL::Internal
• unmark_gate_clauses() : CaDiCaL::Internal
• unmark_in_candidate_clause() : CaDiCaL::Internal
• unmarkfact() : CaDiCaL::Internal
• unphase() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• unprotect_reasons() : CaDiCaL::Internal
• unschedule_sweeping() : CaDiCaL::Internal
• unsetbit() : CaDiCaL::Internal
• unused() : CaDiCaL::Flags
• unwatch_clause() : CaDiCaL::Internal
• Update() : Transduction::ManUtil< Man, lit, LitMax >
• update() : CaDiCaL::EMA, CaDiCaL::heap< C >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• update_and_gate() : CaDiCaL::Closure
• update_and_gate_build_lrat_chain() : CaDiCaL::Closure
• update_and_gate_unit_build_lrat_chain() : CaDiCaL::Closure
• update_decision_rate_average() : CaDiCaL::Internal
• update_factor_candidate() : CaDiCaL::Internal
• update_factored() : CaDiCaL::Internal
• update_molten_literals() : CaDiCaL::External
• update_queue_unassigned() : CaDiCaL::Internal
• update_reason_references() : CaDiCaL::Internal
• update_target_and_best() : CaDiCaL::Internal
• update_xor_gate() : CaDiCaL::Closure
• updateElimHeap() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• updateJustActivity() : Gluco2::Solver
• usage() : CaDiCaL::Config, CaDiCaL::Options, CaDiCaL::Solver
• use_scores() : CaDiCaL::Internal
• UseComplementedEdges() : rrr::AndNetwork