Here is a list of all variables 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_
- 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_unknown : statistics
- cadical_kitten_unsat : statistics
- calculatedBlockCRC : DState
- calculatedCombinedCRC : DState
- canbedel : Gluco2::Clause, Gluco::Clause
- 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 : set_family
- capacity_clause : CaDiCaL::Wrapper
- care : Ttopt::TruthTableCare
- CareSet : Gia_Rsb2Man_t_
- caret : Ttopt::TruthTableCare
- category : Gluco2::Option, Gluco::Option, Minisat::Option
- ccmin_mode : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- ccount : saucy
- Cell : Mio_GateStruct_t_
- cell : FM_cell
- 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::Limit, inflate_state
- 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
- 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
- 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::ClauseSize, CaDiCaL::Closure, CaDiCaL::CompactBinary, CaDiCaL::Internal, CaDiCaL::lit_implication, CaDiCaL::LitClausePair, CaDiCaL::Sweeper, CaDiCaL::vivify_ref, CaDiCaL::Watch, cadical_kitten, kissat, sweeper
- clause_act_inc : solver_t_
- 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
- 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
- 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 : file
- 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::Last
- collected : CaDiCaL::Stats
- collections : CaDiCaL::Checker, CaDiCaL::LratChecker, CaDiCaL::Stats
- collisions : CaDiCaL::Checker, CaDiCaL::LratChecker
- 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::Limit
- compacts : CaDiCaL::Stats
- compar : avl_tree_struct
- compare : st__table, stmm_table
- component : stats_struct
- compressed : file
- 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::Limit
- conditioned : CaDiCaL::Clause, CaDiCaL::Stats
- 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_
- 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::Stats, delays
- congruence_delay : CaDiCaL::Internal
- congruent : CaDiCaL::Stats
- conncnts : saucy
- connect : qps_problem
- connectionType : Rpo_LCI_Edge_t_
- constant : CaDiCaL::Stats
- constraint : CaDiCaL::External, CaDiCaL::Internal
- constraintMask : MinRegMan_t_
- control : CaDiCaL::Internal
- Copy : Sfm_Dec_t_, Str_Edg_t_, Str_Mux_t_
- copy : CaDiCaL::Clause
- 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 : 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
- counted : CaDiCaL::Factoring, factoring
- Counter : If_Hte_t_, Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Pr_Man_t_
- Counts : Dtt_Man_t_, Zyx_Man_t_
- cover : CaDiCaL::Stats
- covered : CaDiCaL::Clause, CaDiCaL::Coveror
- cPerm : Abc_SccCost_t_
- cPhase : Abc_SccCost_t_
- CRef : xSAT_Watcher_t_
- cref : Gluco2::Solver::Watcher, Gluco::Solver::Watcher, Minisat::Solver::Watcher, watcher
- CrossBar0 : Cut_Cell_t_
- CrossBar1 : Cut_Cell_t_
- CrossBarPhase : Cut_Cell_t_
- csize : saucy
- 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
- 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_
