Here is a list of all class members 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::Random
• 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
• randomizedBFSFP() : eSLIM::randomizedBFSFP
• randomizedBFSnoFP() : eSLIM::randomizedBFSnoFP
• RandomSiftReo() : Ttopt::TruthTable
• randomVectorArray_sim1 : saucy
• randomVectorArray_sim2 : saucy
• randomVectorSplit_sim1 : saucy
• randomVectorSplit_sim2 : saucy
• Rands : Cec_ManS_t_
• RandSeed : Gia_ParSim_t_
• Range() : CaDiCaL::Range
• 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
• rbegin() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• RC1 : solver_t_
• RC2 : solver_t_
• rcore : cadical_kitten
• reactivate() : CaDiCaL::Internal
• reactivated : CaDiCaL::Stats
• Read() : rrr::AndNetwork
• read() : CaDiCaL::File
• read_dimacs() : CaDiCaL::Solver
• reading : file
• real : CaDiCaL::Stats
• real_time() : CaDiCaL::Internal
• realArray : swapInfo
• Reap() : Reap
• reap : CaDiCaL::Internal
• reason : assigned, CaDiCaL::Clause, CaDiCaL::Var, clause, Gluco2::Solver, Gluco2::Solver::VarData, Gluco::Solver, Gluco::Solver::VarData, Minisat::Solver, Minisat::Solver::VarData
• Reason0 : Tas_Var_t_
• Reason1 : Tas_Var_t_
• reasons : sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_
• rebuildOrderHeap() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• recompute_glue() : CaDiCaL::Internal
• recompute_tier() : CaDiCaL::Internal, CaDiCaL::Limit
• recomputed : CaDiCaL::Stats
• record : st__table_entry, stmm_table_entry
• red() : CaDiCaL::Terminal
• red_code() : CaDiCaL::Terminal
• reduce() : CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Limit, limits, remember, Rewire::Miaig
• reduce_delay() : CaDiCaL::Delay
• reduced : CaDiCaL::Stats
• reduced_prct : CaDiCaL::Stats
• reduced_sqrt : CaDiCaL::Stats
• reduceDB() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• reduceDB_lt() : reduceDB_lt
• reducing() : CaDiCaL::Internal
• reductions : CaDiCaL::Last, CaDiCaL::Stats
• redundant : CaDiCaL::Clause, CaDiCaL::Internal, CaDiCaL::Solver, CaDiCaL::Stats, clause
• Ref : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >, NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• ref : binary_tagged_reference, countref, hash_ref, katch, reducible, refsize, tagged
• ref_nonsingle : saucy
• ref_singleton : saucy
• Ref_Undef : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• refcount : Rewire::Miaig_Data
• refineBySim1 : saucy
• refineBySim2 : saucy
• refObj() : Rewire::Miaig
• RefOfBvar() : NewBdd::Man, rrr::NewBdd::Man
• 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
• RegionAllocator() : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• rel : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• related_pin : SC_Timing_
• relation_generation_time : eSLIM::eSLIMLog
• release() : CaDiCaL::DeferDeleteArray< T >, CaDiCaL::DeferDeletePtr< T >, Reap, Rewire::Miaig
• release_quotients() : CaDiCaL::Internal
• release_sweeper() : CaDiCaL::Internal
• relevanttab : CaDiCaL::Internal
• reloc() : Gluco2::ClauseAllocator, Gluco::ClauseAllocator, Minisat::ClauseAllocator
• relocAll() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• relocate() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• relocation() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• reloced : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• Reluctant() : CaDiCaL::Reluctant
• reluctant : CaDiCaL::Internal, kissat
• removable : assigned, CaDiCaL::Flags, kissat
• remove() : 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 >
• remove_falsified_literals() : CaDiCaL::Internal
• remove_garbage_binaries() : CaDiCaL::Internal
• remove_gate() : CaDiCaL::Closure
• remove_observed_var() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• remove_satisfied : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• RemoveBuffer() : rrr::AndNetwork
• removeClause() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• RemoveConst() : rrr::AndNetwork
• RemoveFanin() : rrr::AndNetwork
• removeMin() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• RemoveRefIfUnused() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• removeSatisfied() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• RemoveUnused() : rrr::AndNetwork
• rend() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• renotify_full_trail() : CaDiCaL::Internal
• renotify_trail_after_ilb() : CaDiCaL::Internal
• renotify_trail_after_local_search() : CaDiCaL::Internal
• Reo() : Ttopt::TruthTable
• Reorder() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• reorder : limits
• reorder_flag : st__table, stmm_table
• RepeatAll() : Transduction::Transduction< Man, Param, lit, LitMax >
• RepeatInner() : Transduction::Transduction< Man, Param, lit, LitMax >
• RepeatOuter() : Transduction::Transduction< Man, Param, lit, LitMax >
• RepeatResub() : Transduction::Transduction< Man, Param, lit, LitMax >
• rephase() : CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Limit, limits
• rephase_best() : CaDiCaL::Internal
• rephase_flipping() : CaDiCaL::Internal
• rephase_inverted() : CaDiCaL::Internal
• rephase_original() : CaDiCaL::Internal
• rephase_random() : CaDiCaL::Internal
• rephase_walk() : CaDiCaL::Internal
• rephased : CaDiCaL::Internal, CaDiCaL::Limit, CaDiCaL::Stats
• rephasing() : CaDiCaL::Internal
• report() : CaDiCaL::Internal, CaDiCaL::Limit
• report_solving() : CaDiCaL::Internal
• report_status() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• reportdefault : CaDiCaL::Options
• ReportDelay : SC_Man_
• reported : CaDiCaL::Internal
• reports : limits
• repr : closure
• representant : CaDiCaL::Closure
• representant_id : CaDiCaL::Closure
• representative() : CaDiCaL::Closure
• representative_id() : CaDiCaL::Closure
• reprs : CaDiCaL::Sweeper, sweeper
• require_mode() : CaDiCaL::Internal
• 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_
• rescale_variable_scores() : CaDiCaL::Internal
• reschedule_previously_remaining() : CaDiCaL::Internal
• rescored : CaDiCaL::Stats
• Reserve() : rrr::AndNetwork
• reserve() : CaDiCaL::Solver
• reserve_difference() : CaDiCaL::Solver
• reserve_ids() : CaDiCaL::Internal
• reserved : Rpo_LCI_Edge_t_, z_stream_s
• reserved_ids : CaDiCaL::Internal
• Reset() : rrr::Optimizer< Ntk, Ana >::Stats
• reset() : CaDiCaL::Level, CaDiCaL::Signal, CaDiCaL::Terminal, Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver
• reset_alarm() : CaDiCaL::Signal
• reset_and_gate_extraction() : CaDiCaL::Closure
• reset_assumptions() : CaDiCaL::External, CaDiCaL::IdrupTracer, CaDiCaL::Internal, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Solver, CaDiCaL::Tracer
• reset_bins() : CaDiCaL::Internal
• reset_citten() : CaDiCaL::Internal
• reset_closure() : CaDiCaL::Closure
• reset_concluded() : CaDiCaL::External, CaDiCaL::Internal
• reset_constraint() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• reset_extended() : CaDiCaL::External
• reset_extraction() : CaDiCaL::Closure
• reset_factor_mode() : CaDiCaL::Internal
• reset_ite_gate_extraction() : CaDiCaL::Closure
• reset_limits() : CaDiCaL::External, CaDiCaL::Internal
• reset_mode() : CaDiCaL::Internal
• reset_noccs() : CaDiCaL::Internal
• reset_observed_vars() : CaDiCaL::External, CaDiCaL::Solver
• reset_occs() : CaDiCaL::Internal
• reset_shrinkable() : CaDiCaL::Internal
• reset_solving() : CaDiCaL::Internal
• reset_subsume_bits() : CaDiCaL::Internal
• reset_watches() : CaDiCaL::Internal
• reset_xor_gate_extraction() : CaDiCaL::Closure
• ResetJustData() : Gluco2::Solver
• ResetSummary() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• Resize() : NewBdd::Cache, NewBdd::Man, NewTt::Man, rrr::NewBdd::Cache, rrr::NewBdd::Man
• resize_factoring() : CaDiCaL::Internal
• resize_unit_clauses_idx() : CaDiCaL::Internal
• ResizeUnique() : NewBdd::Man, rrr::NewBdd::Man
• resolve_clauses() : CaDiCaL::Internal
• resolve_gate : kissat
• resolved : cadical_kitten, kitten
• resolvent_analyzed : CaDiCaL::Closure
• resolvent_size : kissat
• resolvents : kissat
• resources() : CaDiCaL::Solver
• restart() : CaDiCaL::Internal, CaDiCaL::Limit, limits
• restart_first : Minisat::Solver
• restart_inc : Minisat::Solver
• restarting() : CaDiCaL::Internal
• restartlevels : CaDiCaL::Stats
• restarts : CaDiCaL::Stats
• restartstable : CaDiCaL::Stats
• restorations : CaDiCaL::Stats
• restore_clause() : CaDiCaL::External, CaDiCaL::LratChecker
• restore_clauses() : CaDiCaL::External, CaDiCaL::Internal
• RestoreCare() : Ttopt::TruthTableCare
• restored : CaDiCaL::Stats
• restoredlits : CaDiCaL::Stats
• restoreJustQueue() : Gluco2::Solver
• Resub() : Transduction::Transduction< Man, Param, lit, LitMax >
• ResubMono() : Transduction::Transduction< Man, Param, lit, LitMax >
• ResubShared() : Transduction::Transduction< Man, Param, lit, LitMax >
• reuse_trail() : CaDiCaL::Internal
• reused : CaDiCaL::Stats
• reusedlevels : CaDiCaL::Stats
• reusedstable : CaDiCaL::Stats
• rewire() : Rewire::Miaig
• Rewrite() : CaDiCaL::Rewrite
• rewrite_and_gate() : CaDiCaL::Closure
• rewrite_gate() : CaDiCaL::Closure
• rewrite_gates() : CaDiCaL::Closure
• rewrite_ite_gate() : CaDiCaL::Closure
• rewrite_ite_gate_to_and() : CaDiCaL::Closure
• rewrite_ite_gate_update_lrat_reasons() : CaDiCaL::Closure
• rewrite_xor_gate() : CaDiCaL::Closure
• rewriting_lhs() : CaDiCaL::Closure
• 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
• Run() : rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::Scheduler< Ntk, Opt, Par >::CompareJobPointers, rrr::Scheduler< Ntk, Opt, Par >::Job, rrr::Scheduler< Ntk, Opt, Par >
• run() : acd::ac_decomposition_impl, acd::acd66_impl, acd::acdXX_impl
• run_factorization() : 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_