- r -

• r : smtrat::ICEModule< Settings >::Coefficient , smtrat::mcsat::fm::Bound
• random_seed : smtrat::SATModule< Settings >
• random_var_freq : smtrat::SATModule< Settings >
• range : Minisat::DoubleOption , Minisat::IntOption
• reabstraction : smtrat::SATModule< Settings >::Abstraction
• reabstractLiteral : smtrat::mcsat::InformationGetter , smtrat::VarSchedulerBase
• reabstractVariable : smtrat::mcsat::InformationGetter , smtrat::VarSchedulerBase
• read_dimacs : smtrat::parser::ParserSettings
• read_opb : smtrat::parser::ParserSettings
• real_roots : smtrat::cadcells::datastructures::detail::AssignmentProperties
• reason : smtrat::SATModule< Settings >::VarData
• reasons_false : smtrat::covering_ng::formula::formula_ds::Formula
• reasons_true : smtrat::covering_ng::formula::formula_ds::Formula
• recurse : smtrat::expression::simplifier::SimplifierChainCaller< chainID >
• reduceConflictConstraints : smtrat::mcsat::vs::DefaultSettings
• rel : Minisat::Clause
• relation : smtrat::cadcells::datastructures::PolyConstraint
• reloced : Minisat::Clause
• remove_satisfied : smtrat::SATModule< Settings > , smtrat::SATSettings1 , smtrat::SATSettings3
• removeAnnotatedNameHandler : smtrat::execution::ExecutionState
• removeAssertionHandler : smtrat::execution::ExecutionState
• removeFactorsFunction : smtrat::PFEModule< Settings >
• removeObjectiveHandler : smtrat::execution::ExecutionState
• removeSoftAssertionHandler : smtrat::execution::ExecutionState
• removeSquaresFunction : smtrat::PFEModule< Settings >
• replacement : smtrat::parser::Instantiator< V, T >
• res : smtrat::cadcells::datastructures::detail::PolyProperties
• resolve_deps : benchmax::settings::SSHBackendSettings
• restart_first : smtrat::SATModule< Settings >
• restart_inc : smtrat::SATModule< Settings >
• restrictedIfPossible : smtrat::NewCADBaseSettings
• restrictProjectionByEC : smtrat::NewCADBaseSettings , smtrat::NewCADSettingsEQ_B , smtrat::NewCADSettingsEQ_BD , smtrat::NewCADSettingsEQ_BR , smtrat::NewCADSettingsEQ_BRD , smtrat::NewCADSettingsEQ_BRI , smtrat::NewCADSettingsEQ_BRID , smtrat::NewCADSettingsEQ_BS , smtrat::NewCADSettingsEQ_BSD , smtrat::NewCADSettingsEQ_BSI , smtrat::NewCADSettingsEQ_BSID , smtrat::NewCADSettingsEQ_R , smtrat::NewCADSettingsEQ_RD , smtrat::NewCADSettingsEQ_RI , smtrat::NewCADSettingsEQ_RID , smtrat::NewCADSettingsEQ_S , smtrat::NewCADSettingsEQ_SD , smtrat::NewCADSettingsEQ_SI , smtrat::NewCADSettingsEQ_SID
• result : smtrat::parser::conversion::VariantConverter< Res > , smtrat::parser::Instantiator< V, T >
• result_id : benchmax::Results
• rhs : smtrat::expression::BinaryExpression
• rnd_decisions : smtrat::SATModule< Settings >
• rnd_init_act : smtrat::SATModule< Settings >
• rnd_pol : smtrat::SATModule< Settings >
• root : smtrat::cadcells::datastructures::TaggedIndexedRoot , smtrat::cadcells::representation::approximation::ApxSettings , smtrat::covering_ng::formula::formula_ds::FormulaGraph
• root_ratio_lower : smtrat::cadcells::representation::approximation::ApxSettings
• root_ratio_upper : smtrat::cadcells::representation::approximation::ApxSettings
• roots : smtrat::cadcells::datastructures::CompoundMaxMin , smtrat::cadcells::datastructures::CompoundMinMax
• row_index : smtrat::fmplex::Matrix::ColEntry , smtrat::qe::util::Matrix::ColEntry
• rwth_slurm : benchmax::settings::PresetSettings
• rwth_slurm_name : benchmax::settings::PresetSettings