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

- c -

• c : cloudCacheEntry3, Kit_Mux_t_, rrr::Action
• ca : Gluco2::SimpSolver::ClauseDeleted, Gluco2::Solver, Gluco2::Solver::WatcherDeleted, Gluco::SimpSolver::ClauseDeleted, Gluco::Solver, Gluco::Solver::WatcherDeleted, Minisat::SimpSolver::ClauseDeleted, Minisat::Solver, Minisat::Solver::WatcherDeleted, reduceDB_lt
• Cache : Dau_Dsd_t_, NewBdd::Cache, rrr::NewBdd::Cache
• cache_lines() : CaDiCaL::Internal
• cad_id : CaDiCaL::sweep_proof_clause
• cadical_kitten_conflicts : statistics
• cadical_kitten_decisions : statistics
• cadical_kitten_flip : statistics
• cadical_kitten_flipped : statistics
• cadical_kitten_propagations : statistics
• cadical_kitten_sat : statistics
• cadical_kitten_solved : statistics
• cadical_kitten_ticks : statistics
• cadical_kitten_ticks_limit_hit() : CaDiCaL::Internal
• cadical_kitten_unknown : statistics
• cadical_kitten_unsat : statistics
• CadicalEngine() : eSLIM::CadicalEngine
• CadicalEngineOneShot() : eSLIM::CadicalEngineOneShot
• calcAbstraction() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• calculate_minimize_chain() : CaDiCaL::Internal
• calculatedBlockCRC : DState
• calculatedCombinedCRC : DState
• can_sweep_clause() : CaDiCaL::Internal
• canBeDel() : Gluco2::Clause, Gluco::Clause
• canbedel : Gluco2::Clause, Gluco::Clause
• cancelUntil() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• candidate() : CaDiCaL::Instantiator
• CanonPerm : Cut_Cell_t_
• CanonPhase : Cut_Cell_t_
• Cap : Fxch_SCHashTable_Entry_t_
• cap : b_queue_t_, cdb, sat_solver2_t, sat_solver3_t, sat_solver_t, SC_Pin_, SC_WireLoad_, vec_char_t_, vec_flt_t_, vec_int_t_, vec_sdbl_t_, vec_uint_t_, vec_wl_t_, veci_t, vecp_t, vi_, watch_list
• capacity() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >, set_family
• capacity_clause : CaDiCaL::Wrapper
• care : Ttopt::TruthTableCare
• CareSet : Gia_Rsb2Man_t_
• caret : Ttopt::TruthTableCare
• castCRef() : Gluco2::Solver
• catch_alarm() : CaDiCaL::Handler
• catch_signal() : CaDiCaL::Handler
• category : Gluco2::Option, Gluco::Option, Minisat::Option
• 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 >
• ccmin_mode : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• ccount : saucy
• cdcl_loop_with_inprocessing() : CaDiCaL::Internal
• Cell : Mio_GateStruct_t_
• cell : FM_cell
• cend() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• certifiedOutput : Gluco2::Solver, Gluco::Solver
• certifiedUNSAT : Gluco2::Solver, Gluco::Solver
• Cfg : Nf_Mat_t_
• cfg : eSLIM::SelectionStrategy< T >
• cfront : coloring
• cftab : DState
• cftabCopy : DState
• chain : CaDiCaL::Closure, CaDiCaL::LidrupClause, CaDiCaL::proof_clause, CaDiCaL::sweep_proof_clause
• check() : CaDiCaL::Internal, CaDiCaL::Limit, inflate_state
• 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 >
• checks : CaDiCaL::Checker, CaDiCaL::LratChecker
• Child : Amap_Item_t_, Scl_Item_t_
• child : MtrNode
• chrono : CaDiCaL::Stats
• cid : CaDiCaL::proof_clause
• cIDs : cinfo_tag
• CioId : Aig_Obj_t_
• citten : CaDiCaL::Internal
• citten2lit() : CaDiCaL::Internal
• citten_clear_track_log_terminate() : CaDiCaL::Internal
• cla_decay : sat_solver3_t, sat_solver_t
• cla_inc : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
• ClaActType : sat_solver3_t, sat_solver_t
• claBumpActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• claDecayActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• claProofs : sat_solver2_t
• clas : CaDiCaL::Coveror
• ClassBest : Dar_Man_t_
• ClassGains : Dar_Man_t_
• classification : kissat
• ClassSubgs : Dar_Man_t_
• ClassTimes : Dar_Man_t_
• Clause : Jf_Par_t_
• clause : CaDiCaL::CheckerWatch, CaDiCaL::ClauseCopier, CaDiCaL::ClauseCounter, CaDiCaL::ClauseIterator, CaDiCaL::ClauseSize, CaDiCaL::ClauseWriter, CaDiCaL::Closure, CaDiCaL::CompactBinary, CaDiCaL::Internal, CaDiCaL::lit_implication, CaDiCaL::LitClausePair, CaDiCaL::Solver, CaDiCaL::Sweeper, CaDiCaL::vivify_ref, CaDiCaL::Watch, cadical_kitten, kissat, sweeper
• clause_act_inc : solver_t_
• clause_contains_fixed_literal() : CaDiCaL::Internal
• clause_decay : Gluco2::Solver, Gluco::Solver, Minisat::Solver, satoko_opts
• clause_id : CaDiCaL::Internal
• clause_lim : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• clause_max_sz_bin_resol : satoko_opts
• clause_min_lbd_bin_resol : satoko_opts
• clause_satisfied : kissat
• clause_shrink : kissat
• clause_trivial : kissat
• clause_variable_ratio() : CaDiCaL::Internal
• ClauseAllocator : Gluco2::Clause, Gluco2::ClauseAllocator, Gluco::Clause, Gluco::ClauseAllocator, Minisat::Clause, Minisat::ClauseAllocator
• ClauseCopier() : CaDiCaL::ClauseCopier
• ClauseCounter() : CaDiCaL::ClauseCounter
• ClauseDeleted() : Gluco2::SimpSolver::ClauseDeleted, Gluco::SimpSolver::ClauseDeleted, Minisat::SimpSolver::ClauseDeleted
• clauses : CaDiCaL::ClauseCounter, CaDiCaL::definition_extractor, CaDiCaL::Internal, CaDiCaL::Stats, CaDiCaL::Sweeper, Gluco2::Solver, Gluco::Solver, Minisat::Solver, quotient, stats_t, sweeper
• clauses_literals : Gluco2::Solver, Gluco::Solver, Minisat::Solver, stats_t
• clauses_unfactored : CaDiCaL::Stats
• 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
• clen : coloring
• clist : saucy
• clkEval : Zyx_Man_t_
• clkSat : Cec_ManS_t_, Qbf_Man_t_
• clkStart : Bal_Man_t_, Bmc_Mna_t_, Dam_Man_t_, Gia_Sto_t_, Jf_Man_t_, Lf_Man_t_, Mf_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_, Qbf_Man_t_, Sbd_Srv_t_, Sbd_Sto_t_, Scl_Tree_t_, Sdb_Sto_t_, Unm_Man_t_
• clkUnsat : Cec_ManS_t_
• close() : CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FileTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratTracer, CaDiCaL::VeripbTracer, file
• 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
• CmpMask : Dtt_Man_t_
• cNeg : Abc_SccCost_t_
• cnt : pair_struct
• code : ct_data_s, EState
• codes : inflate_state
• cog_list : qps_problem
• cog_num : qps_problem
• cog_x : qps_problem
• cog_y : qps_problem
• col_num : sm_col_struct, sm_element_struct
• collect() : CaDiCaL::Clause, CaDiCaL::Last
• collect_instantiation_candidates() : CaDiCaL::Internal
• collected : CaDiCaL::Stats
• collections : CaDiCaL::Checker, CaDiCaL::LratChecker, CaDiCaL::Stats
• collisions : CaDiCaL::Checker, CaDiCaL::LratChecker
• colors() : CaDiCaL::Terminal
• cols : sm_matrix_struct
• cols_size : sm_matrix_struct
• combinedCRC : EState
• combLoop_impl : Bnd_Man_t_
• combLoop_spec : Bnd_Man_t_
• comm_max : gz_header_s
• comment : gz_header_s
• comp_count : stats_struct
• compact() : CaDiCaL::Internal, CaDiCaL::Limit
• CompactBinary() : CaDiCaL::CompactBinary
• compacting() : CaDiCaL::Internal
• compacts : CaDiCaL::Stats
• compar : avl_tree_struct
• compare : st__table, stmm_table
• CompleteMerge() : Ttopt::TruthTableCare
• component : stats_struct
• compressed : file
• 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
• concluded : CaDiCaL::External, CaDiCaL::Internal
• conclusion : CaDiCaL::Internal
• Cond : Gia_ObjEra_t_
• condassinit : CaDiCaL::Stats
• condassirem : CaDiCaL::Stats
• condassrem : CaDiCaL::Stats
• condassvars : CaDiCaL::Stats
• condautinit : CaDiCaL::Stats
• condautrem : CaDiCaL::Stats
• condbin : CaDiCaL::Closure, closure
• condcands : CaDiCaL::Stats
• condcondinit : CaDiCaL::Stats
• condcondrem : CaDiCaL::Stats
• condeq : CaDiCaL::Closure, closure
• CONDITION : CaDiCaL::Internal
• condition() : CaDiCaL::Internal, CaDiCaL::Limit
• condition_assign() : CaDiCaL::Internal
• condition_round() : CaDiCaL::Internal
• condition_unassign() : CaDiCaL::Internal
• conditioned : CaDiCaL::Clause, CaDiCaL::Stats
• conditioning() : CaDiCaL::Internal
• conditionings : CaDiCaL::Stats
• condprops : CaDiCaL::Stats
• conf_final : sat_solver2_t, sat_solver3_t, sat_solver_t
• conf_limit : satoko_opts
• Config : xSAT_Solver_t_
• configurations() : CaDiCaL::Solver
• configure() : CaDiCaL::Solver
• conflict : CaDiCaL::Internal, Gluco2::Solver, Gluco::Solver, kissat, Minisat::Solver
• conflict_budget : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• conflict_id : CaDiCaL::Internal
• conflicts : CaDiCaL::Inc, CaDiCaL::Last, CaDiCaL::Limit, CaDiCaL::Stats, Gluco2::Solver, Gluco::Solver, limited, limits, Minisat::Solver, remember, stats_t
• conflictsRestarts : Gluco2::Solver, Gluco::Solver
• CONGRUENCE : CaDiCaL::Internal
• congruence : CaDiCaL::Stats, delays
• congruence_delay : CaDiCaL::Internal
• congruence_occurrences_larger() : CaDiCaL::congruence_occurrences_larger
• congruence_occurrences_rank() : CaDiCaL::congruence_occurrences_rank
• congruent : CaDiCaL::Stats
• conncnts : saucy
• connect() : CaDiCaL::Proof, qps_problem
• 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
• connectionType : Rpo_LCI_Edge_t_
• consider_to_vivify_clause() : CaDiCaL::Internal
• Const0() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• Const1() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• const_iterator : CaDiCaL::heap< C >, CaDiCaL::Options
• constant : CaDiCaL::Stats
• constrain() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• constraint : CaDiCaL::External, CaDiCaL::Internal
• constraint_failed() : CaDiCaL::Solver
• constraintMask : MinRegMan_t_
• construct() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• contains() : CaDiCaL::Arena, CaDiCaL::heap< C >
• control : CaDiCaL::Internal
• Copy : Sfm_Dec_t_, Str_Edg_t_, Str_Mux_t_
• copy() : CaDiCaL::Arena, CaDiCaL::Clause, 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 >
• core : CaDiCaL::Sweeper, cadical_kitten, kitten, sweeper
• Cost : Aig_Cut_t_, Cnf_Cut_t_, Csw_Cut_t_, Gia_Cut_t_, If_Cut_t_, Ivy_Eval_t_, Jf_Cut_t_, Lf_Cut_t_, Mpm_Uni_t_, Sbd_Cut_t_, Sdb_Cut_t_, Tab_Obj_t_
• cost() : Gluco2::SimpSolver::ElimLt, Gluco::SimpSolver::ElimLt, Minisat::SimpSolver::ElimLt, solution_struct
• CostF : Gia_Cut_t_
• costInitial : rrr::Scheduler< Ntk, Opt, Par >::Job
• CostLev : Gia_Cut_t_, Sbd_Cut_t_, Sdb_Cut_t_
• Count : Bac_Ntk_t_, If_DsdObj_t_, Npn_Obj_t_
• count : avl_generator_struct, CaDiCaL::Delay, CaDiCaL::Factoring, CaDiCaL::Level, CaDiCaL::literal_occ, CaDiCaL::Stats, CaDiCaL::vivify_ref, counter, countref, delay, factoring, limits, saucy, set_family
• countAnd2() : Rewire::Miaig
• counted : CaDiCaL::Factoring, factoring
• Counter : If_Hte_t_, Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Pr_Man_t_
• 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 >
• Counts : Dtt_Man_t_, Zyx_Man_t_
• countTransistors() : Rewire::Miaig
• CountWires() : Transduction::Transduction< Man, Param, lit, LitMax >
• COVER : CaDiCaL::Internal
• cover() : CaDiCaL::Internal, CaDiCaL::Stats
• cover_clause() : CaDiCaL::Internal
• cover_propagate_asymmetric() : CaDiCaL::Internal
• cover_propagate_covered() : CaDiCaL::Internal
• cover_push_extension() : CaDiCaL::Internal
• cover_round() : CaDiCaL::Internal
• covered : CaDiCaL::Clause, CaDiCaL::Coveror
• covered_literal_addition() : CaDiCaL::Internal
• Coveror() : CaDiCaL::Coveror
• cPerm : Abc_SccCost_t_
• cPhase : Abc_SccCost_t_
• crbegin() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• CRef : xSAT_Watcher_t_
• cref : Gluco2::Solver::Watcher, Gluco::Solver::Watcher, Minisat::Solver::Watcher, watcher
• CRef2Var() : Gluco2::Solver
• crend() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• CrossBar0 : Cut_Cell_t_
• CrossBar1 : Cut_Cell_t_
• CrossBarPhase : Cut_Cell_t_
• csize : saucy
• Cspf() : Transduction::Transduction< Man, Param, lit, LitMax >
• CspfDebug() : Transduction::Transduction< Man, Param, lit, LitMax >
• ctrl : saucy
• Cube : Fxch_Obj_t_, Tab_Ent_t_, Tab_Obj_t_
• Cube1 : Eso_Man_t_
• cubes : CaDiCaL::CubesWithStatus, CaDiCaL::Solver::CubesWithStatus, cost_struct
• cummulative_sat_runtimes_per_size : eSLIM::eSLIMLog
• cummulative_unsat_runtimes_per_size : eSLIM::eSLIMLog
• cur_stamp : solver_t_
• currBlockNo : DState
• current : CaDiCaL::Averages, CaDiCaL::Delay, CaDiCaL::Stats, delay
• current_lit : CaDiCaL::LitClausePair
• current_ticks : CaDiCaL::Sweeper
• curRestart : Gluco2::Solver, Gluco::Solver
• cursor() : CaDiCaL::Terminal
• cust : Glucose2_Pars_, Glucose_Pars_
• Cut : Lf_Bst_t_
• CutBest : If_Obj_t_
• CutCount : Gia_Sto_t_, Jf_Man_t_, Lf_Man_t_, Mf_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_, Sbd_Sto_t_, Sdb_Sto_t_
• CutH : Nf_Mat_t_
• cyan() : CaDiCaL::Terminal
• cyan_code() : CaDiCaL::Terminal