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

- c -

• Cache() : NewBdd::Cache, rrr::NewBdd::Cache
• cache_lines() : CaDiCaL::Internal
• cadical_kitten_ticks_limit_hit() : CaDiCaL::Internal
• CadicalEngine() : eSLIM::CadicalEngine
• CadicalEngineOneShot() : eSLIM::CadicalEngineOneShot
• calcAbstraction() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• calculate_minimize_chain() : CaDiCaL::Internal
• can_sweep_clause() : CaDiCaL::Internal
• canBeDel() : Gluco2::Clause, Gluco::Clause
• cancelUntil() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• candidate() : CaDiCaL::Instantiator
• capacity() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >
• castCRef() : Gluco2::Solver
• catch_alarm() : CaDiCaL::Handler
• catch_signal() : CaDiCaL::Handler
• cb_add_external_clause_lit() : CaDiCaL::ExternalPropagator
• cb_add_reason_clause_lit() : CaDiCaL::ExternalPropagator
• cb_check_found_model() : CaDiCaL::ExternalPropagator
• cb_decide() : CaDiCaL::ExternalPropagator
• cb_has_external_clause() : CaDiCaL::ExternalPropagator
• cb_propagate() : CaDiCaL::ExternalPropagator
• cbegin() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• cdcl_loop_with_inprocessing() : CaDiCaL::Internal
• cend() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• check() : CaDiCaL::Internal
• check_and_add_to_proof_chain() : CaDiCaL::Closure
• check_and_gate_implied() : CaDiCaL::Closure
• check_assignment() : CaDiCaL::External
• check_assumptions_satisfied() : CaDiCaL::External
• check_binary_implied() : CaDiCaL::Closure
• check_clause_stats() : CaDiCaL::Internal
• check_constraint_satisfied() : CaDiCaL::External
• check_contained_module_rewriting() : CaDiCaL::Closure
• check_failing() : CaDiCaL::External
• check_implied() : CaDiCaL::Closure
• check_invariant() : CaDiCaL::lit_equivalence
• check_ite_gate_implied() : CaDiCaL::Closure
• check_ite_implied() : CaDiCaL::Closure
• check_ite_lrat_reasons() : CaDiCaL::Closure
• check_learned_clause() : CaDiCaL::External
• check_learned_empty_clause() : CaDiCaL::External
• check_learned_unit_clause() : CaDiCaL::External
• check_no_solution_after_learning_empty_clause() : CaDiCaL::External
• check_not_tmp_binary_clause() : CaDiCaL::Closure
• check_satisfiable() : CaDiCaL::External
• check_shrunken_clause() : CaDiCaL::External
• check_solution_on_learned_clause() : CaDiCaL::External
• check_solution_on_learned_unit_clause() : CaDiCaL::External
• check_solution_on_shrunken_clause() : CaDiCaL::External
• check_solve_result() : CaDiCaL::External
• check_ternary() : CaDiCaL::Closure
• check_unsatisfiable() : CaDiCaL::External
• check_var_stats() : CaDiCaL::Internal
• check_watched_literal_invariants() : CaDiCaL::Internal
• check_xor_gate_implied() : CaDiCaL::Closure
• Checker() : CaDiCaL::Checker
• CheckerWatch() : CaDiCaL::CheckerWatch
• CheckFeasibility() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• checkGarbage() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• CheckRedundancy() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• citten2lit() : CaDiCaL::Internal
• citten_clear_track_log_terminate() : CaDiCaL::Internal
• claBumpActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• claDecayActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• clause() : CaDiCaL::ClauseCopier, CaDiCaL::ClauseCounter, CaDiCaL::ClauseIterator, CaDiCaL::ClauseWriter, CaDiCaL::Solver
• clause_contains_fixed_literal() : CaDiCaL::Internal
• clause_variable_ratio() : CaDiCaL::Internal
• ClauseAllocator() : Gluco2::ClauseAllocator, Gluco::ClauseAllocator, Minisat::ClauseAllocator
• ClauseCopier() : CaDiCaL::ClauseCopier
• ClauseCounter() : CaDiCaL::ClauseCounter
• ClauseDeleted() : Gluco2::SimpSolver::ClauseDeleted, Gluco::SimpSolver::ClauseDeleted, Minisat::SimpSolver::ClauseDeleted
• ClauseSize() : CaDiCaL::ClauseSize
• ClauseWriter() : CaDiCaL::ClauseWriter
• clean() : Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >
• clean_probehbr_lrat() : CaDiCaL::Internal
• cleanAll() : Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >
• cleanUpClauses() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• Clear() : NewBdd::Cache, rrr::AndNetwork, rrr::NewBdd::Cache
• clear() : CaDiCaL::heap< C >, Gluco2::bqueue< T >, Gluco2::CMap< T >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco2::Map< K, D, H, E >, Gluco2::OccLists< Idx, Vec, Deleted >, Gluco2::Queue< T >, Gluco2::RegionAllocator< T >, Gluco2::vec< T >, Gluco::bqueue< T >, Gluco::CMap< T >, Gluco::Heap< Comp >, Gluco::Map< K, D, H, E >, Gluco::OccLists< Idx, Vec, Deleted >, Gluco::Queue< T >, Gluco::RegionAllocator< T >, Gluco::vec< T >, Minisat::CMap< T >, Minisat::Heap< Comp >, Minisat::Map< K, D, H, E >, Minisat::OccLists< Idx, Vec, Deleted >, Minisat::Queue< T >, Minisat::vec< T >, Reap
• clear_() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >
• clear_analyzed_levels() : CaDiCaL::Internal
• clear_analyzed_literals() : CaDiCaL::Internal
• clear_core() : CaDiCaL::Internal
• clear_flauses() : CaDiCaL::Internal
• clear_minimized_literals() : CaDiCaL::Internal
• clear_noccs() : CaDiCaL::Internal
• clear_nounted() : CaDiCaL::Internal
• clear_occs() : CaDiCaL::Internal
• clear_phases() : CaDiCaL::Internal
• clear_sign_marked_literals() : CaDiCaL::Internal
• clear_sweeper() : CaDiCaL::Internal
• clear_unit_analyzed_literals() : CaDiCaL::Internal
• clear_watches() : CaDiCaL::Internal
• clearInterrupt() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• close() : CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FileTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, CaDiCaL::VeripbTracer
• close_proof_trace() : CaDiCaL::Solver
• close_trace() : CaDiCaL::Internal
• closed() : CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FileTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, CaDiCaL::VeripbTracer
• Closure() : CaDiCaL::Closure
• collect() : CaDiCaL::Clause
• collect_instantiation_candidates() : CaDiCaL::Internal
• colors() : CaDiCaL::Terminal
• compact() : CaDiCaL::Internal
• CompactBinary() : CaDiCaL::CompactBinary
• compacting() : CaDiCaL::Internal
• CompleteMerge() : Ttopt::TruthTableCare
• compute_decomposition() : acd::ac_decomposition_impl, acd::acd66_impl, acd::acdXX_impl
• compute_elim_score() : CaDiCaL::Internal
• compute_rewritten_clause_lrat_simple() : CaDiCaL::Closure
• compute_tier_limits() : CaDiCaL::Internal
• computeForbiddenPairs() : eSLIM::SelectionStrategy< T >
• computeLBD() : Gluco2::Solver, Gluco::Solver
• computeRelation() : eSLIM::RelationGenerator< Derived >
• conclude() : CaDiCaL::Solver
• conclude_sat() : CaDiCaL::External, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::Proof, CaDiCaL::Tracer
• conclude_unknown() : CaDiCaL::External, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::Proof, CaDiCaL::Tracer
• conclude_unsat() : CaDiCaL::IdrupTracer, CaDiCaL::Internal, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• condition() : CaDiCaL::Internal
• condition_assign() : CaDiCaL::Internal
• condition_round() : CaDiCaL::Internal
• condition_unassign() : CaDiCaL::Internal
• conditioning() : CaDiCaL::Internal
• configurations() : CaDiCaL::Solver
• configure() : CaDiCaL::Solver
• congruence_occurrences_larger() : CaDiCaL::congruence_occurrences_larger
• congruence_occurrences_rank() : CaDiCaL::congruence_occurrences_rank
• connect() : CaDiCaL::Proof
• connect_binary_watches() : CaDiCaL::Internal
• connect_external_propagator() : CaDiCaL::Solver
• connect_fixed_listener() : CaDiCaL::Solver
• connect_goccs() : CaDiCaL::Closure
• connect_internal() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::InternalTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::VeripbTracer
• connect_learner() : CaDiCaL::Solver
• connect_proof_tracer() : CaDiCaL::Internal, CaDiCaL::Solver
• connect_propagator() : CaDiCaL::Internal
• connect_terminator() : CaDiCaL::Solver
• connect_watches() : CaDiCaL::Internal
• consider_to_vivify_clause() : CaDiCaL::Internal
• Const0() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• Const1() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• constrain() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• constraint_failed() : CaDiCaL::Solver
• construct() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• contains() : CaDiCaL::Arena, CaDiCaL::heap< C >
• copy() : CaDiCaL::Arena, CaDiCaL::Flags, CaDiCaL::Options, CaDiCaL::Solver
• copy_clause() : CaDiCaL::Internal
• copy_conditional_equivalences() : CaDiCaL::Closure
• copy_flags() : CaDiCaL::External
• copy_non_garbage_clauses() : CaDiCaL::Internal
• copy_phases() : CaDiCaL::Internal
• CopyFunc() : Ttopt::TruthTableRewrite
• CopyFuncMasked() : Ttopt::TruthTableCare
• copyTo() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >
• copyTo_() : Gluco2::vec< T >, Gluco::vec< T >
• CopyVec() : Transduction::ManUtil< Man, lit, LitMax >
• cost() : Gluco2::SimpSolver::ElimLt, Gluco::SimpSolver::ElimLt, Minisat::SimpSolver::ElimLt
• countAnd2() : Rewire::Miaig
• CountGates() : Transduction::Transduction< Man, Param, lit, LitMax >
• countLevel() : Rewire::Miaig
• CountLevels() : Transduction::Transduction< Man, Param, lit, LitMax >
• CountNodes() : NewBdd::Man, rrr::NewBdd::Man, Transduction::Transduction< Man, Param, lit, LitMax >
• countTransistors() : Rewire::Miaig
• CountWires() : Transduction::Transduction< Man, Param, lit, LitMax >
• cover() : CaDiCaL::Internal
• cover_clause() : CaDiCaL::Internal
• cover_propagate_asymmetric() : CaDiCaL::Internal
• cover_propagate_covered() : CaDiCaL::Internal
• cover_push_extension() : CaDiCaL::Internal
• cover_round() : CaDiCaL::Internal
• covered_literal_addition() : CaDiCaL::Internal
• Coveror() : CaDiCaL::Coveror
• crbegin() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• CRef2Var() : Gluco2::Solver
• crend() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• Cspf() : Transduction::Transduction< Man, Param, lit, LitMax >
• CspfDebug() : Transduction::Transduction< Man, Param, lit, LitMax >
• cursor() : CaDiCaL::Terminal
• cyan() : CaDiCaL::Terminal
• cyan_code() : CaDiCaL::Terminal