- r -

• recurse() : smtrat::covering_ng
• recurse_qe() : smtrat::covering_ng
• registerAnalyzerSettings() : smtrat::analyzer
• registerBenchmarkSettings() : benchmax::settings
• registerParserSettings() : smtrat::parser
• registerPresetSettings() : benchmax::settings
• registerSlurmBackendSettings() : benchmax::settings
• registerSSHBackendSettings() : benchmax::settings
• registerStatisticsSettings() : smtrat::statistics
• registerToolSettings() : benchmax::settings
• registerValidationSettings() : smtrat::validation
• remove() : Minisat
• remove_log_files() : benchmax::slurm
• remove_prefix() : benchmax
• removeCol() : smtrat::qe::fm
• removeRows() : smtrat::qe::fm
• resolveExplanation() : smtrat::mcsat
• resultant() : smtrat::cad::projection , smtrat::mcsat::onecellcad
• returnPoly() : smtrat::cad::projection
• rewritePolynomial() : smtrat::groebner
• root_ordering_holds() : smtrat::cadcells::operators::rules
• root_ordering_holds_delineated() : smtrat::cadcells::operators::rules
• root_ordering_holds_pdel() : smtrat::cadcells::operators::rules
• roots_above() : smtrat::cadcells::representation
• roots_below() : smtrat::cadcells::representation
• run_backend() : benchmax
• run_dimacs_file() : smtrat
• run_opb_file() : smtrat