Here is a list of all struct and union fields with links to the structures/unions they belong to:

- r -

• random_subset() : bm::random_subset< BV >
• RawPrinter() : RawPrinter
• read_gap_block() : bm::deseriaizer_base< DEC >
• read_id_list() : bm::deseriaizer_base< DEC >
• ReadLock : Table< ValueT, IndexT >
• reallocate() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
• recalc_count() : bm::bvector< Alloc >
• receive() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• recentConflicts : CDNLSolver
• recomputeHash() : Nogood
• recordCounters() : CounterVerification< EvalGraphT >
• recursiveAggregates : ComponentGraph::ComponentInfo
• reduce() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• redundancyElimination : ModelBuilderConfig< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• reference : bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::reference
• reg : AnnotatedGroundProgram , BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , BaseModelGenerator::VerifyExternalAtomCB , BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB , ComponentGraph , DLVResultParser , ExternalAtomEvaluationHeuristics , FLPModelGeneratorFactoryBase , GenuineGuessAndCheckModelGenerator , InternalGroundASPSolver , InternalGrounder , LiberalSafetyChecker::Attribute , LiberalSafetyChecker , NogoodGrounder , PlainAuxPrinter , UnfoundedSetChecker , UnfoundedSetCheckHeuristics
• registerBodyAtomModule() : HexGrammarBase< Iterator, Skipper >
• registerHeadAtomModule() : HexGrammarBase< Iterator, Skipper >
• registerModule() : ModuleHexParser
• registerTermModule() : HexGrammarBase< Iterator, Skipper >
• registerToplevelModule() : HexGrammarBase< Iterator, Skipper >
• registerUserAuxPrinter() : Registry
• registerUserDefaultAuxPrinter() : Registry
• Registry() : Registry
• registry : DependencyGraph , Interpretation , OrdinaryASPProgram , PluginAtom , Printer , ParserState , EvalGraphBuilder , ProgramCtx
• relativeFiniteOutputDomain : ExtSourceProperties
• RelevanceMarkingVisitor() : CAUAlgorithms::RelevanceMarkingVisitor< Graph >
• relevantIModelsAt() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• relevantOModelsAt() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• remainingguess : BaseModelGenerator::VerifyExternalAtomCB
• remove() : ComfortInterpretation
• removeIModelFromGraphs() : OnlineModelBuilder< EvalGraphT >
• removeModulePrefix() : RawPrinter
• removeNogood() : NogoodSet , SimpleNogoodContainer
• removePropagator() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver
• removeSourceFromAtom() : InternalGroundASPSolver
• renumber() : OrderedSet< T, H >
• reorderRuleBody() : InternalGrounder
• replace() : Term::Ref , Term::VecRef , Term::PtrRef , Term::Ref , Term::VecRef , Term::PtrRef
• replacement : BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , BaseModelGenerator::VerifyExternalAtomCB , BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
• replacements : PluginAtom
• replacePredForInlinedEAs() : GenuineGuessAndCheckModelGenerator
• replaceVariablesInTerm() : Registry
• reserve() : bm::blocks_manager< Alloc >
• reserve_top_blocks() : bm::blocks_manager< Alloc >
• reset() : bm::bvector< Alloc > , bm::distance_metric_descriptor , Term::Ref , Term::VecRef , Term::PtrRef , bm::bvector< Alloc > , bm::distance_metric_descriptor , Term::Ref , Term::VecRef , Term::PtrRef
• resetCache() : PluginAtom
• resetCacheOfPlugins() : ProgramCtx
• resetCurrent : PreparedResults
• resetWatched() : NogoodGrounder , ImmediateNogoodGrounder , LazyNogoodGrounder
• residualShadow : AssumptionBasedUnfoundedSetChecker
• resize() : OrderedSet< T, H > , bm::bvector< Alloc >
• resizeVectors() : CDNLSolver , InternalGroundASPSolver
• resolve() : CDNLSolver , Nogood
• restartWithAssumptions() : GenuineSolver , InternalGroundASPSolver , SATSolver , CDNLSolver , GenuineGroundSolver
• restore() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• result : bm::distance_metric_descriptor
• results : ASPSolver::DLVSoftware::Delegate , DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• ResultsPtr : ASPSolverManager
• resume() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• ret_op_y_eq_x : InternalGrounder
• retrieve() : TestASPQueryAtom , TestSetMinusRuleBasedLearningAtom , TestOddAtom , TestLessThanAtom , TestASPQueryAtom , ComfortPluginAtom , TestTransitiveClosureAtom , TestNonmonAtom , TestNegAtom , FunctionComposeAtom , FunctionDecomposeAtom , IsFunctionTermAtom , FunctionDecomposeGeneralAtom , TestPlugin::TestNumberOfBallsSE , TestPlugin::TestNumberOfBalls , FunctionInterprete , TestEvenAtom , TestPlugin::SumNonZeroAtom , TestNonmon2Atom , TestPlugin::TestSetUnionAtom , TestPluginAspCtxAcc , AbovePluginAtom , SenseNotArmed1PluginAtom , GenPluginAtom1 , GenPluginAtom2 , TestIdcAtom , TestIdpAtom , TestSetMinusNogoodBasedLearningAtom , TestCAtom , TestSetMinusPartialAtom , TestZeroArityAtom , TestMoveAtom , TestPushAtom , TestSubstrAtom , TestListMergeAtom , TestConcatAtom , TestConcatAllAtom , TestListDomainAtom , TestListConcatAtom , TestListLengthAtom , TestStrlenAtom , TestListSplitHalfAtom , TestFirstAtom , TestSmallerThanAtom , TestSetMinusAtom , TestSetMinusNonComfortAtom , TestSetMinusNongroundNogoodBasedLearningAtom , TestListSplitAtom , TestIdAtom , TestMinusOneAtom , TestAAtom , TestPlugin::TestNumberOfBallsGE , TestEqualAtom , TestCycleAtom , TestDisjAtom , TestTrueMultiInpAtom , TestBAtom , TestReachableAtom , TestPlugin::TestSetUnionAtom , TestPluginAtomCount , TestDLSimulatorAtom , SenseNotArmed2PluginAtom , TestPlugin::TestGen2Atom , TestPlugin::ProductionRequirementsAtom , TestPluginAtomReach , TestPlugin::TestIsEmpty , PluginAtom , GetArityAtom , TestAppendAtom , PluginAtom , TestTrueMultiInpAtom2 , TestHashAtom
• retrieveCached() : PluginAtom
• retrieveFacade() : PluginAtom
• retrieveOrLearnSupportSets() : TestASPQueryAtom
• reverseBinaryOperator() : ID
• rewrite : FunctionPlugin::CtxData , PluginRewriter , FunctionRewriter
• rewriteEDBIDB() : ProgramCtx , State , RewriteEDBIDBState
• RewriteEDBIDBState() : RewriteEDBIDBState
• root : ExternalAtomVerificationTree
• row() : bm::tmatrix< T, ROWS, COLS >
• rows() : bm::tmatrix< T, ROWS, COLS >
• rsize : Set< T >
• rstat_vector_ : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• Rule() : Rule
• rule : HexGrammarBase< Iterator, Skipper >
• Rule() : Rule , TestProgramCtx , Rule
• ruleID : LiberalSafetyChecker::Attribute
• rules : Registry , TestProgramCtx
• rulesOfAtom : UnfoundedSetCheckHeuristics
• rulesOfStratum : InternalGrounder
• rulesWithNegBodyLiteral : InternalGroundASPSolver
• rulesWithPosBodyLiteral : InternalGroundASPSolver
• rulesWithPosHeadLiteral : InternalGroundASPSolver
• ruleToString() : InternalGrounder
• run() : DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker , LiberalSafetyPlugin , DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker , DLVHEX_NAMESPACE_BEGIN::FinitenessChecker , DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
• running : benchmark::simple::BenchmarkController::Stat