Here is a list of all variables with links to the classes they belong to:
- r -
- R : Gluco2::Solver, Gluco::Solver, PLA_t, xSAT_SolverOptions_t_
- r : cloudCacheEntry1, cloudCacheEntry2, cloudCacheEntry3
- r_dist : Flow_Data_t_
- Rand : StochSynData_t_
- randec : kissat, limits
- random : CaDiCaL::Stats, CaDiCaL::Sweeper, CaDiCaL::Walker, kissat
- random_seed : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
- random_var_freq : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- randomVectorArray_sim1 : saucy
- randomVectorArray_sim2 : saucy
- randomVectorSplit_sim1 : saucy
- randomVectorSplit_sim2 : saucy
- Rands : Cec_ManS_t_
- RandSeed : Gia_ParSim_t_
- range : Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, Gluco::DoubleOption, Gluco::Int64Option, Gluco::IntOption, Minisat::DoubleOption, Minisat::IntOption
- rank : CaDiCaL::sweep_candidate, datarank, reducible, sweep_candidate
- RankCur : Unr_Obj_t_
- RankMax : Unr_Obj_t_
- ranks : kissat
- Ratio : SC_SizePars_
- raw : gz_state, watch
- RC1 : solver_t_
- RC2 : solver_t_
- rcore : cadical_kitten
- reactivated : CaDiCaL::Stats
- reading : file
- real : CaDiCaL::Stats
- realArray : swapInfo
- reap : CaDiCaL::Internal
- reason : assigned, CaDiCaL::Clause, CaDiCaL::Var, clause, Gluco2::Solver::VarData, Gluco::Solver::VarData, Minisat::Solver::VarData
- Reason0 : Tas_Var_t_
- Reason1 : Tas_Var_t_
- reasons : sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_
- recompute_tier : CaDiCaL::Limit
- recomputed : CaDiCaL::Stats
- record : st__table_entry, stmm_table_entry
- reduce : CaDiCaL::Last, CaDiCaL::Limit, limits, remember
- reduced : CaDiCaL::Stats
- reduced_prct : CaDiCaL::Stats
- reduced_sqrt : CaDiCaL::Stats
- reductions : CaDiCaL::Last, CaDiCaL::Stats
- redundant : CaDiCaL::Clause, CaDiCaL::Stats, clause
- ref : binary_tagged_reference, countref, hash_ref, katch, reducible, refsize, tagged
- ref_nonsingle : saucy
- ref_singleton : saucy
- refcount : Rewire::Miaig_Data
- refineBySim1 : saucy
- refineBySim2 : saucy
- refs : sweeper
- refs_schedule_irred : CaDiCaL::Vivifier
- refs_schedule_tier1 : CaDiCaL::Vivifier
- refs_schedule_tier2 : CaDiCaL::Vivifier
- refs_schedule_tier3 : CaDiCaL::Vivifier
- refs_schedules : CaDiCaL::Vivifier
- rel : Gluco2::Clause, Gluco::Clause, Minisat::Clause
- related_pin : SC_Timing_
- relation_generation_time : eSLIM::eSLIMLog
- relevanttab : CaDiCaL::Internal
- reloced : Gluco2::Clause, Gluco::Clause, Minisat::Clause
- reluctant : CaDiCaL::Internal, kissat
- removable : assigned, CaDiCaL::Flags, kissat
- remove_satisfied : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- reorder : limits
- reorder_flag : st__table, stmm_table
- rephase : CaDiCaL::Last, CaDiCaL::Limit, limits
- rephased : CaDiCaL::Internal, CaDiCaL::Limit, CaDiCaL::Stats
- report : CaDiCaL::Limit
- reportdefault : CaDiCaL::Options
- ReportDelay : SC_Man_
- reported : CaDiCaL::Internal
- reports : limits
- repr : closure
- representant : CaDiCaL::Closure
- representant_id : CaDiCaL::Closure
- reprs : CaDiCaL::Sweeper, sweeper
- Required : If_Obj_t_, Of_Obj_t_
- RequiredGlo : If_Man_t_
- RequiredGlo2 : If_Man_t_
- Res : _HashEntry_mint, Abc_ZddEnt_, Sbd_Str_t_, Unr_Obj_t_
- rescored : CaDiCaL::Stats
- reserved : Rpo_LCI_Edge_t_, z_stream_s
- reserved_ids : CaDiCaL::Internal
- resolve_gate : kissat
- resolved : cadical_kitten, kitten
- resolvent_analyzed : CaDiCaL::Closure
- resolvent_size : kissat
- resolvents : kissat
- restart : CaDiCaL::Limit, limits
- restart_first : Minisat::Solver
- restart_inc : Minisat::Solver
- restartlevels : CaDiCaL::Stats
- restarts : CaDiCaL::Stats
- restartstable : CaDiCaL::Stats
- restorations : CaDiCaL::Stats
- restored : CaDiCaL::Stats
- restoredlits : CaDiCaL::Stats
- reused : CaDiCaL::Stats
- reusedlevels : CaDiCaL::Stats
- reusedstable : CaDiCaL::Stats
- rewritten_ands : CaDiCaL::Stats
- rfreq : EState
- rhs : CaDiCaL::Closure, CaDiCaL::Gate, closure, gate
- right : avl_node_struct, ltlNode_t, saucy
- Rise : Abc_Time_t_, Map_TimeStruct_t_
- rise : SC_Pair_, SC_PairI_
- rise_cap : SC_Pin_
- rise_capI : SC_Pin_
- rnd_decisions : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- rnd_init_act : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- rnd_pol : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- Root : Gia_ManAre_t_, Kit_DsdNtk_t_
- root : avl_tree_struct
- root_level : sat_solver2_t, sat_solver3_t, sat_solver_t
- rounds : CaDiCaL::Stats
- row : solution_struct
- row_num : sm_element_struct, sm_row_struct
- rows : sm_matrix_struct
- rows_size : sm_matrix_struct
- rtab : CaDiCaL::Internal
- RunId : Pdr_Par_t_, Saig_ParBmc_t_, sat_solver_t, solver_t_, Wlc_Par_t_
- RuntimeLim : Bmc_EsPar_t_
- rVars : Msat_Order_t_
