- r -

• randConf : Clasp::SolveParams
• randProb : Clasp::SolveParams
• randRuns : Clasp::SolveParams
• raw : Clasp::Cli::ClaspCliConfig::RawConfig
• rc : Clasp::WeightConstraint::WL
• reach : Clasp::WeightLitsRep
• ready_ : Clasp::MinimizeBuilder
• reason_ : Clasp::Assignment
• reasons_ : Clasp::DefaultUnfoundedCheck
• reduce : Clasp::SolveParams
• refCount_ : Clasp::SharedLiterals , ProgramOptions::detail::RefCountable
• refs : Clasp::SatElite::SatElite::OccurList , Clasp::SharedContext::SharedSymTab , Clasp::mt::Detail::NodeBase
• rep : Clasp::ExpectedQuantity , Clasp::Activity , Clasp::Asp::PrgEdge , Clasp::VarInfo , Clasp::ClauseHead::Info , Clasp::ValueSet , Clasp::DefaultMinimize::UndoInfo
• rep_ : Clasp::Literal , bk_lib::detail::with_inline_buffer< L, R, cap >
• resCands_ : Clasp::SatElite::SatElite
• reserved : Clasp::SolverParams , Clasp::ContextParams
• resets : Clasp::Test::TestingPostProp
• resolvent_ : Clasp::SatElite::SatElite
• resScore : Clasp::HeuParams
• restart : Clasp::SolveParams
• restartOnModel : Clasp::SolverStrategies
• restarts : Clasp::SolveLimits
• restrictNant : Clasp::Lookahead::Params
• result : Clasp::Cli::TextOutput , Clasp::SolveTestEvent , Clasp::ClaspFacade::Summary
• reverseArcs : Clasp::SolverStrategies
• right_ : bk_lib::detail::left_right_rep< L, R >
• rng : Clasp::Solver
• rng_ : Clasp::ClaspBerkmin
• root : Clasp::Solver::DecisionLevels , Clasp::Cli::ClaspCliConfig::ParseContext
• root_ : Clasp::EnumerationConstraint
• rp : Clasp::QueueImpl
• rs : Clasp::Solver::CmpScore
• rsShuffle : Clasp::BasicSolve::State
• rule : Clasp::Test::RuleTest , Clasp::Test::RuleTransformTest
• rule_ : Clasp::Asp::RuleTransform::Impl , Clasp::Asp::LogicProgram
• rules_ : Clasp::Asp::LpStats
• ruleState_ : Clasp::Asp::LogicProgram