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

- b -

• backtrack() : CaDiCaL::Internal
• backtrack_without_updating_phases() : CaDiCaL::Internal
• backward_false_satisfiable() : CaDiCaL::Internal
• backward_true_satisfiable() : CaDiCaL::Internal
• backwardSubsumptionCheck() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• BddAnalyzer() : rrr::BddAnalyzer< Ntk >
• BDDBuild() : Ttopt::TruthTable, Ttopt::TruthTableLevelTSM, Ttopt::TruthTableReo
• BDDBuildLevel() : Ttopt::TruthTable, Ttopt::TruthTableReo
• BDDBuildOne() : Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableLevelTSM
• BDDBuildStartup() : Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableReo
• BDDFind() : Ttopt::TruthTable
• BDDFindTSM() : Ttopt::TruthTableLevelTSM
• BDDGenerateAig() : Ttopt::TruthTable, Ttopt::TruthTableReo
• BDDGenerateAigRec() : Ttopt::TruthTable
• BddMspfAnalyzer() : rrr::BddMspfAnalyzer< Ntk >
• BDDNodeCount() : Ttopt::TruthTable
• BDDNodeCountLevel() : Ttopt::TruthTable
• BDDRebuild() : Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableLevelTSM, Ttopt::TruthTableReo
• BDDRebuildByMerge() : Ttopt::TruthTableCare, Ttopt::TruthTableLevelTSM
• BDDRebuildOne() : Ttopt::TruthTableReo
• BDDSwap() : Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableReo
• begin() : CaDiCaL::Clause, CaDiCaL::Config, CaDiCaL::heap< C >, CaDiCaL::Options, CaDiCaL::Range, CaDiCaL::Sange, kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• begin_proof() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• best_quotient() : CaDiCaL::Internal
• better_decision() : CaDiCaL::Internal
• binary() : CaDiCaL::Watch
• bins() : CaDiCaL::Internal
• black() : CaDiCaL::Terminal
• block() : CaDiCaL::Internal
• block_candidates() : CaDiCaL::Internal
• block_impossible() : CaDiCaL::Internal
• block_literal() : CaDiCaL::Internal
• block_literal_with_at_least_two_negative_occs() : CaDiCaL::Internal
• block_literal_with_one_negative_occ() : CaDiCaL::Internal
• block_more_occs_size() : CaDiCaL::block_more_occs_size
• block_pure_literal() : CaDiCaL::Internal
• block_reschedule() : CaDiCaL::Internal
• block_reschedule_clause() : CaDiCaL::Internal
• block_schedule() : CaDiCaL::Internal
• blocked_clause() : CaDiCaL::Internal
• blue() : CaDiCaL::Terminal
• blue_code() : CaDiCaL::Terminal
• bold() : CaDiCaL::Terminal
• bold_code() : CaDiCaL::Terminal
• BoolOption() : Gluco2::BoolOption, Gluco::BoolOption, Minisat::BoolOption
• bqueue() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• bright_blue_code() : CaDiCaL::Terminal
• bright_magenta_code() : CaDiCaL::Terminal
• bright_red_code() : CaDiCaL::Terminal
• bright_yellow_code() : CaDiCaL::Terminal
• bucket() : Gluco2::CMap< T >, Gluco2::Map< K, D, H, E >, Gluco::CMap< T >, Gluco::Map< K, D, H, E >, Minisat::CMap< T >, Minisat::Map< K, D, H, E >
• bucket_count() : Gluco2::CMap< T >, Gluco2::Map< K, D, H, E >, Gluco::CMap< T >, Gluco::Map< K, D, H, E >, Minisat::CMap< T >, Minisat::Map< K, D, H, E >
• budgetOff() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• build() : CaDiCaL::Solver, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• build_chain_for_empty() : CaDiCaL::Internal
• build_chain_for_units() : CaDiCaL::Internal
• build_lrat_for_clause() : CaDiCaL::Internal
• BuildDebug() : Transduction::Transduction< Man, Param, lit, LitMax >
• bump_also_all_reason_literals() : CaDiCaL::Internal
• bump_also_reason_literal() : CaDiCaL::Internal
• bump_also_reason_literals() : CaDiCaL::Internal
• bump_clause() : CaDiCaL::Internal
• bump_clause2() : CaDiCaL::Internal
• bump_delay() : CaDiCaL::Delay
• bump_queue() : CaDiCaL::Internal
• bump_variable() : CaDiCaL::Internal
• bump_variable_score() : CaDiCaL::Internal
• bump_variable_score_inc() : CaDiCaL::Internal
• bump_variables() : CaDiCaL::Internal
• bumped() : CaDiCaL::Internal
• Bvar2Lit() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• bytes() : CaDiCaL::Clause, CaDiCaL::File