- r -

• rand() : Clasp::RNG
• randomize() : Clasp::SolveParams
• Range() : Clasp::Range< T >
• raw_size() : bk_lib::detail::left_right_rep< L, R >
• RawConfig() : Clasp::Cli::ClaspCliConfig::RawConfig
• reached() : Clasp::SolveLimits , Clasp::SearchLimits
• readLemmas() : Clasp::Cli::ClaspAppBase
• realloc() : bk_lib::detail::left_right_rep< L, R >
• reason() : Clasp::EnumerationConstraint , Clasp::DomainHeuristic , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::Clause , Clasp::Solver , Clasp::LoopFormula , Clasp::Assignment , Clasp::DefaultUnfoundedCheck , Clasp::mt::SharedLitsClause , Clasp::WeightConstraint , Clasp::DomainHeuristic::DomMinimize , Clasp::Constraint , Clasp::ModelEnumerator::BacktrackFinder , Clasp::Test::TestingConstraint , Clasp::PostPropagator , Clasp::Antecedent
• reasonData() : Clasp::Solver
• reasonStrategy() : Clasp::DefaultUnfoundedCheck
• receive() : Clasp::Distributor , Clasp::Solver
• recommendedSolvers() : Clasp::BasicSolveOptions
• RecordFinder() : Clasp::ModelEnumerator::RecordFinder
• recurse() : Clasp::Asp::SccChecker
• RedefinitionError() : Clasp::Asp::RedefinitionError
• 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
• RefCountable() : ProgramOptions::detail::RefCountable
• 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
• report() : Clasp::SharedContext
• reportModel() : Clasp::SolveAlgorithm
• reportProgress() : Clasp::SatElite::SatElite
• requestData() : Clasp::Solver , Clasp::SharedContext , Clasp::Assignment
• requestPrefs() : Clasp::Assignment
• requestStepVar() : Clasp::SharedContext
• reserve() : Clasp::ClauseCreator , bk_lib::indexed_priority_queue< Cmp > , Clasp::mt::MultiQueue< T, Deleter >
• reset() : Clasp::ProblemStats , Clasp::SingleOwnerPtr< T, D > , Clasp::ExtendedStats , Clasp::Solver , Clasp::PostPropagator , Clasp::ClaspConfig , Clasp::Enumerator , Clasp::Asp::LpStats , Clasp::Asp::BodyInfo , Clasp::SharedContext , Clasp::BasicSolve , ProgramOptions::detail::IntrusiveSharedPtr< T > , Clasp::ScheduleStrategy , Clasp::BasicSatConfig , Clasp::CoreStats , Clasp::JumpStats , Clasp::SolverStats , Clasp::DefaultUnfoundedCheck , Clasp::Timer< TimeType > , Clasp::ClaspFacade::SolveImpl , Clasp::Test::TestingPostProp
• resetActivity() : Clasp::ClauseHead , Clasp::LearntConstraint , Clasp::LoopFormula
• resetBounds() : Clasp::SharedMinimizeData
• resetDecay() : Clasp::ClaspBerkmin::Order
• resetGlobal() : Clasp::SumQueue
• resetId() : Clasp::Asp::PrgNode , Clasp::Solver
• resetQueue() : Clasp::SumQueue
• resetSolve() : Clasp::SolveAlgorithm , Clasp::SequentialSolve
• resetSupported() : Clasp::Asp::PrgBody
• resetTodo() : Clasp::DefaultUnfoundedCheck
• resetUfs() : Clasp::DefaultUnfoundedCheck
• resize() : Clasp::Asp::LogicProgram , Clasp::BasicSatConfig , Clasp::ShortImplicationsGraph , Clasp::Assignment
• resizeVars() : Clasp::SharedContext
• resolveConflict() : Clasp::Solver
• restart() : Clasp::Solver , Clasp::SumQueue
• RestartParams() : Clasp::RestartParams
• restoreOther() : Clasp::Restricted
• restricted() : Clasp::UnitHeuristic
• Restricted() : Clasp::Restricted
• Result() : Clasp::ClauseCreator::Result
• result() : Clasp::ClaspFacade
• resurrectSource() : Clasp::DefaultUnfoundedCheck::AtomData
• reverseArc() : Clasp::ShortImplicationsGraph
• ReverseArc() : Clasp::ShortImplicationsGraph::ReverseArc
• rewind() : Clasp::PodQueue< T >
• right() : 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_size() : bk_lib::detail::left_right_rep< L, R >
• RNG() : Clasp::RNG
• rootLevel() : Clasp::Solver
• Rule() : Clasp::Asp::Rule
• rules() : Clasp::Asp::LpStats
• RuleState() : Clasp::Asp::RuleState
• ruleState() : Clasp::Asp::LogicProgram
• RuleTransform() : Clasp::Asp::RuleTransform
• ruleType() : Clasp::Asp::BodyInfo
• run() : Clasp::Cli::ClaspAppBase , CmdLineRunner , Clasp::Cli::Output , Clasp::Cli::JsonOutput , Clasp::Cli::ClaspApp , Clasp::Cli::TextOutput , Clasp::Cli::ClaspAppBase , ProgramOptions::Application
• running() : Clasp::ClaspFacade::SolveStrategy