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

- r -

• Random() : CaDiCaL::Random
• randomizedBFSFP() : eSLIM::randomizedBFSFP
• randomizedBFSnoFP() : eSLIM::randomizedBFSnoFP
• RandomSiftReo() : Ttopt::TruthTable
• Range() : CaDiCaL::Range
• rbegin() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• reactivate() : CaDiCaL::Internal
• Read() : rrr::AndNetwork
• read() : CaDiCaL::File
• read_dimacs() : CaDiCaL::Solver
• real_time() : CaDiCaL::Internal
• Reap() : Reap
• reason() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• rebuildOrderHeap() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• recompute_glue() : CaDiCaL::Internal
• recompute_tier() : CaDiCaL::Internal
• red() : CaDiCaL::Terminal
• red_code() : CaDiCaL::Terminal
• reduce() : CaDiCaL::Internal, Rewire::Miaig
• reduce_delay() : CaDiCaL::Delay
• reduceDB() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• reduceDB_lt() : reduceDB_lt
• reducing() : CaDiCaL::Internal
• redundant() : CaDiCaL::Internal, CaDiCaL::Solver
• Ref() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• refObj() : Rewire::Miaig
• RefOfBvar() : NewBdd::Man, rrr::NewBdd::Man
• RegionAllocator() : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• release() : CaDiCaL::DeferDeleteArray< T >, CaDiCaL::DeferDeletePtr< T >, Reap, Rewire::Miaig
• release_quotients() : CaDiCaL::Internal
• release_sweeper() : 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
• 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
• 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
• 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
• rephase_best() : CaDiCaL::Internal
• rephase_flipping() : CaDiCaL::Internal
• rephase_inverted() : CaDiCaL::Internal
• rephase_original() : CaDiCaL::Internal
• rephase_random() : CaDiCaL::Internal
• rephase_walk() : CaDiCaL::Internal
• rephasing() : CaDiCaL::Internal
• report() : CaDiCaL::Internal
• 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
• representative() : CaDiCaL::Closure
• representative_id() : CaDiCaL::Closure
• require_mode() : CaDiCaL::Internal
• rescale_variable_scores() : CaDiCaL::Internal
• reschedule_previously_remaining() : CaDiCaL::Internal
• Reserve() : rrr::AndNetwork
• reserve() : CaDiCaL::Solver
• reserve_difference() : CaDiCaL::Solver
• reserve_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
• resources() : CaDiCaL::Solver
• restart() : CaDiCaL::Internal
• restarting() : CaDiCaL::Internal
• restore_clause() : CaDiCaL::External, CaDiCaL::LratChecker
• restore_clauses() : CaDiCaL::External, CaDiCaL::Internal
• RestoreCare() : Ttopt::TruthTableCare
• 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
• 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
• 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