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

- r -

• rand() : Clasp::RNG
• randConf : Clasp::SolveParams
• randomize() : Clasp::SolveParams
• randProb : Clasp::SolveParams
• randRuns : Clasp::SolveParams
• Range() : Clasp::Range< T >
• raw : Clasp::Cli::ClaspCliConfig::RawConfig
• raw_size() : bk_lib::detail::left_right_rep< L, R >
• RawConfig() : Clasp::Cli::ClaspCliConfig::RawConfig
• rc : Clasp::WeightConstraint::WL
• reach : Clasp::WeightLitsRep
• reached() : Clasp::SolveLimits , Clasp::SearchLimits
• readLemmas() : Clasp::Cli::ClaspAppBase
• ready_ : Clasp::MinimizeBuilder
• realloc() : bk_lib::detail::left_right_rep< L, R >
• reason() : Clasp::DomainHeuristic::DomMinimize , Clasp::ModelEnumerator::BacktrackFinder , Clasp::Clause , Clasp::Test::TestingConstraint , Clasp::LoopFormula , Clasp::mt::SharedLitsClause , Clasp::Constraint , Clasp::PostPropagator , Clasp::Antecedent , Clasp::EnumerationConstraint , Clasp::DomainHeuristic , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::Solver , Clasp::Assignment , Clasp::DefaultUnfoundedCheck , Clasp::WeightConstraint
• reason_ : Clasp::Assignment
• reasonData() : Clasp::Solver
• reasons_ : Clasp::DefaultUnfoundedCheck
• ReasonStrategy : Clasp::DefaultUnfoundedCheck
• reasonStrategy() : Clasp::DefaultUnfoundedCheck
• ReasonVec : Clasp::Solver , Clasp::Assignment
• ReasonWithData : Clasp::Assignment
• receive() : Clasp::Distributor , Clasp::Solver
• recommendedSolvers() : Clasp::BasicSolveOptions
• RecordFinder() : Clasp::ModelEnumerator::RecordFinder
• recurse() : Clasp::Asp::SccChecker
• RedefinitionError() : Clasp::Asp::RedefinitionError
• reduce : Clasp::SolveParams
• reduce_heap : Clasp::ReduceStrategy
• reduce_linear : Clasp::ReduceStrategy
• reduce_sort : Clasp::ReduceStrategy
• reduce_stable : Clasp::ReduceStrategy
• reduceLearnts() : Clasp::Solver
• reduceLinear() : Clasp::Solver
• ReduceParams() : Clasp::ReduceParams
• reduceSort() : Clasp::Solver
• reduceSortInPlace() : Clasp::Solver
• ReduceStrategy() : Clasp::ReduceStrategy
• refCount() : Clasp::SharedLiterals , Clasp::WeightConstraint::WL , ProgramOptions::detail::RefCountable
• refCount_ : ProgramOptions::detail::RefCountable , Clasp::SharedLiterals
• RefCountable() : ProgramOptions::detail::RefCountable
• reference : bk_lib::pod_vector< T, Allocator >
• refs : Clasp::SatElite::SatElite::OccurList , Clasp::SharedContext::SharedSymTab , Clasp::mt::Detail::NodeBase
• relax() : Clasp::MinimizeConstraint , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::DomainHeuristic::DomMinimize
• relaxBound() : Clasp::DefaultMinimize
• release() : Clasp::SharedLiterals , Clasp::SharedMinimizeData , bk_lib::detail::left_right_rep< L, R > , Clasp::SingleOwnerPtr< T, D > , Clasp::mt::MultiQueue< T, Deleter > , Clasp::WeightConstraint::WL , Clasp::CBConsequences::SharedConstraint , Clasp::ClaspFacade::SolveStrategy , ProgramOptions::detail::RefCountable , ProgramOptions::detail::IntrusiveSharedPtr< T >
• releaseConfig() : Clasp::Cli::ClaspCliConfig
• releaseLits() : Clasp::UncoreMinimize , Clasp::ModelEnumerator::SolutionQueue
• relevant() : Clasp::Asp::PrgNode
• relevantPrgAtom() : Clasp::SharedDependencyGraph
• relevantPrgBody() : Clasp::SharedDependencyGraph
• remove() : Clasp::SatElite::SatElite::OccurList , Clasp::Solver::PPList , bk_lib::indexed_priority_queue< Cmp >
• remove_bin() : Clasp::ShortImplicationsGraph
• remove_tern() : Clasp::ShortImplicationsGraph
• removeBody() : Clasp::Asp::LogicProgram
• removeConditional() : Clasp::Solver
• removeConstraint() : Clasp::SharedContext
• removed() : Clasp::Asp::PrgNode
• removeDep() : Clasp::Asp::PrgAtom
• removeFromTail() : Clasp::Clause
• removeFromWs() : Clasp::DefaultUnfoundedCheck::ExtData
• removeHead() : Clasp::Asp::PrgBody
• removeIntegrated() : Clasp::SolverStats
• removePost() : Clasp::Solver
• removeSource() : Clasp::DefaultUnfoundedCheck
• RemoveSource() : Clasp::DefaultUnfoundedCheck::RemoveSource
• removeSupport() : Clasp::Asp::PrgHead
• removeTrue() : Clasp::ShortImplicationsGraph
• removeUndoWatch() : Clasp::Solver
• removeWatch() : Clasp::SatElite::SatElite::OccurList , Clasp::Solver
• 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 >
• report() : Clasp::SharedContext
• reportModel() : Clasp::SolveAlgorithm
• reportProgress() : Clasp::SatElite::SatElite
• requestData() : Clasp::Solver , Clasp::Assignment , Clasp::SharedContext
• requestPrefs() : Clasp::Assignment
• requestStepVar() : Clasp::SharedContext
• res_opt : Clasp::Cli::TextOutput
• res_sat : Clasp::Cli::TextOutput
• res_unknonw : Clasp::Cli::TextOutput
• res_unsat : Clasp::Cli::TextOutput
• resCands_ : Clasp::SatElite::SatElite
• reserve() : Clasp::ClauseCreator , bk_lib::indexed_priority_queue< Cmp > , Clasp::mt::MultiQueue< T, Deleter >
• reserved : Clasp::SolverParams , Clasp::ContextParams
• reset() : Clasp::ClaspConfig , Clasp::Enumerator , Clasp::Asp::LpStats , Clasp::Asp::BodyInfo , Clasp::ProblemStats , Clasp::SharedContext , Clasp::BasicSolve , Clasp::ScheduleStrategy , Clasp::BasicSatConfig , Clasp::CoreStats , Clasp::JumpStats , Clasp::SolverStats , Clasp::DefaultUnfoundedCheck , Clasp::Timer< TimeType > , Clasp::ClaspFacade::SolveImpl , Clasp::Test::TestingPostProp , ProgramOptions::detail::IntrusiveSharedPtr< T > , Clasp::ExtendedStats , Clasp::SingleOwnerPtr< T, D > , Clasp::Solver , Clasp::PostPropagator
• resetActivity() : Clasp::LoopFormula , Clasp::LearntConstraint , Clasp::ClauseHead
• resetBounds() : Clasp::SharedMinimizeData
• resetDecay() : Clasp::ClaspBerkmin::Order
• resetGlobal() : Clasp::SumQueue
• resetId() : Clasp::Asp::PrgNode , Clasp::Solver
• resetQueue() : Clasp::SumQueue
• resets : Clasp::Test::TestingPostProp
• resetSolve() : Clasp::SolveAlgorithm , Clasp::SequentialSolve
• resetSupported() : Clasp::Asp::PrgBody
• resetTodo() : Clasp::DefaultUnfoundedCheck
• resetUfs() : Clasp::DefaultUnfoundedCheck
• resize() : Clasp::Asp::LogicProgram , Clasp::ShortImplicationsGraph , Clasp::Assignment , Clasp::BasicSatConfig
• resizeVars() : Clasp::SharedContext
• resolveConflict() : Clasp::Solver
• resolvent_ : Clasp::SatElite::SatElite
• resScore : Clasp::HeuParams
• restart() : Clasp::Solver , Clasp::SumQueue , Clasp::SolveParams
• restartOnModel : Clasp::SolverStrategies
• RestartParams() : Clasp::RestartParams
• restarts : Clasp::SolveLimits
• restoreOther() : Clasp::Restricted
• Restricted() : Clasp::Restricted
• restricted() : Clasp::UnitHeuristic
• restrictNant : Clasp::Lookahead::Params
• result : Clasp::Cli::TextOutput
• Result() : Clasp::ClauseCreator::Result , Clasp::Test::FacadeTest , Clasp::ModelEnumerator::RecordFinder
• result : Clasp::ClaspFacade::Summary , Clasp::SolveTestEvent , Clasp::ClaspFacade
• ResultStr : Clasp::Cli::TextOutput
• resurrectSource() : Clasp::DefaultUnfoundedCheck::AtomData
• reverse_iterator : bk_lib::pod_vector< T, Allocator >
• reverseArc() : Clasp::ShortImplicationsGraph
• ReverseArc() : Clasp::ShortImplicationsGraph::ReverseArc
• reverseArcs : Clasp::SolverStrategies
• rewind() : Clasp::PodQueue< T >
• right() : bk_lib::detail::left_right_rep< L, R >
• right_ : bk_lib::detail::left_right_rep< L, R >
• right_align_type : bk_lib::detail::left_right_rep< L, R >
• right_begin() : bk_lib::detail::left_right_rep< L, R >
• right_capacity() : bk_lib::detail::left_right_rep< L, R >
• right_end() : bk_lib::detail::left_right_rep< L, R >
• right_iterator : bk_lib::left_right_sequence< L, R, i > , bk_lib::detail::left_right_rep< L, R >
• right_size() : bk_lib::detail::left_right_rep< L, R >
• right_type : bk_lib::left_right_sequence< L, R, i > , bk_lib::detail::left_right_rep< L, R >
• RNG() : Clasp::RNG
• rng : Clasp::Solver
• rng_ : Clasp::ClaspBerkmin
• root : Clasp::Solver::DecisionLevels , Clasp::Cli::ClaspCliConfig::ParseContext
• root_ : Clasp::EnumerationConstraint
• rootLevel() : Clasp::Solver
• RootPtr : Clasp::Cli::ClaspCliConfig
• rp : Clasp::QueueImpl
• RPair : Clasp::Asp::LpStats
• rs : Clasp::Solver::CmpScore
• rsShuffle : Clasp::BasicSolve::State
• rule : Clasp::Test::RuleTransformTest , Clasp::Test::RuleTest
• Rule() : Clasp::Asp::Rule
• rule_ : Clasp::Asp::RuleTransform::Impl , Clasp::Asp::LogicProgram
• RuleList : Clasp::Asp::LogicProgram
• rules() : Clasp::Asp::LpStats
• rules_ : Clasp::Asp::LpStats
• RuleState() : Clasp::Asp::RuleState
• ruleState() : Clasp::Asp::LogicProgram
• ruleState_ : Clasp::Asp::LogicProgram
• RuleTransform() : Clasp::Asp::RuleTransform
• ruleType() : Clasp::Asp::BodyInfo
• run() : CmdLineRunner , Clasp::Cli::ClaspApp , Clasp::Cli::ClaspAppBase , Clasp::Cli::Output , Clasp::Cli::ClaspAppBase , Clasp::Cli::JsonOutput , Clasp::Cli::TextOutput , ProgramOptions::Application
• running() : Clasp::ClaspFacade::SolveStrategy
• RunSummary : Clasp::Cli::ClaspAppBase