- r -

• recentConflicts : CDNLSolver
• recursiveAggregates : ComponentGraph::ComponentInfo
• redundancyElimination : OnlineModelBuilder< EvalGraphT > , ModelBuilderConfig< EvalGraphT >
• reg : BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB , LiberalSafetyChecker::Attribute , LiberalSafetyChecker , ComponentGraph , NogoodGrounder , PlainAuxPrinter , AnnotatedGroundProgram , DLVResultParser , UnfoundedSetChecker , UnfoundedSetCheckHeuristics , ExternalAtomEvaluationHeuristics , BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , FLPModelGeneratorFactoryBase , GenuineGuessAndCheckModelGenerator , BaseModelGenerator::VerifyExternalAtomCB , InternalGroundASPSolver , InternalGrounder
• registry : DependencyGraph , Interpretation , OrdinaryASPProgram , PluginAtom , Printer , ParserState
• relativeFiniteOutputDomain : ExtSourceProperties
• remainingguess : BaseModelGenerator::VerifyExternalAtomCB
• replacement : BaseModelGenerator::VerifyExternalAtomCB , BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB , BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
• replacements : PluginAtom
• resetCurrent : PreparedResults
• residualShadow : AssumptionBasedUnfoundedSetChecker
• result : bm::distance_metric_descriptor
• results : ASPSolver::DLVSoftware::Delegate , DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• rewrite : FunctionPlugin::CtxData
• root : ExternalAtomVerificationTree
• rsize : Set< T >
• rstat_vector_ : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• rule : HexGrammarBase< Iterator, Skipper >
• ruleID : LiberalSafetyChecker::Attribute
• rules : Registry , TestProgramCtx
• rulesOfAtom : UnfoundedSetCheckHeuristics
• rulesOfStratum : InternalGrounder
• rulesWithNegBodyLiteral : InternalGroundASPSolver
• rulesWithPosBodyLiteral : InternalGroundASPSolver
• rulesWithPosHeadLiteral : InternalGroundASPSolver
• running : benchmark::simple::BenchmarkController::Stat