- r -

• random_subset() : bm::random_subset< BV >
• RawPrinter() : RawPrinter
• read_gap_block() : bm::deseriaizer_base< DEC >
• read_id_list() : bm::deseriaizer_base< DEC >
• reallocate() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
• recalc_count() : bm::bvector< Alloc >
• receive() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• recomputeHash() : Nogood
• recordCounters() : CounterVerification< EvalGraphT >
• reduce() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• reference() : bm::bvector< Alloc >::reference
• 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() : EvalGraphBuilder , ProgramCtx
• RelevanceMarkingVisitor() : CAUAlgorithms::RelevanceMarkingVisitor< Graph >
• relevantIModelsAt() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• relevantOModelsAt() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• 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
• replacePredForInlinedEAs() : GenuineGuessAndCheckModelGenerator
• replaceVariablesInTerm() : Registry
• reserve() : bm::blocks_manager< Alloc >
• reserve_top_blocks() : bm::blocks_manager< Alloc >
• reset() : bm::distance_metric_descriptor , Term::Ref , Term::VecRef , Term::PtrRef , bm::bvector< Alloc > , bm::distance_metric_descriptor , Term::Ref , Term::VecRef , Term::PtrRef , bm::bvector< Alloc >
• resetCache() : PluginAtom
• resetCacheOfPlugins() : ProgramCtx
• resetWatched() : NogoodGrounder , ImmediateNogoodGrounder , LazyNogoodGrounder
• resize() : OrderedSet< T, H > , bm::bvector< Alloc >
• resizeVectors() : CDNLSolver , InternalGroundASPSolver
• resolve() : CDNLSolver , Nogood
• restartWithAssumptions() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver
• restore() : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• resume() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• retrieve() : TestPluginAtomCount , FunctionDecomposeGeneralAtom , GetArityAtom , IsFunctionTermAtom , TestSetMinusAtom , FunctionComposeAtom , TestPushAtom , TestMoveAtom , TestStrlenAtom , ComfortPluginAtom , TestSetMinusNonComfortAtom , TestSetMinusPartialAtom , TestPlugin::TestGen2Atom , TestSetMinusNongroundNogoodBasedLearningAtom , TestSetMinusRuleBasedLearningAtom , TestASPQueryAtom , TestNonmon2Atom , TestIdpAtom , TestSetMinusNogoodBasedLearningAtom , TestEvenAtom , TestOddAtom , TestTrueMultiInpAtom , TestPlugin::TestNumberOfBallsGE , TestTransitiveClosureAtom , TestListSplitHalfAtom , TestHashAtom , TestPlugin::TestNumberOfBalls , TestDLSimulatorAtom , TestSubstrAtom , TestListDomainAtom , TestASPQueryAtom , TestPlugin::TestSetUnionAtom , TestPlugin::TestIsEmpty , TestPlugin::TestNumberOfBallsSE , TestCAtom , TestPlugin::TestSetUnionAtom , TestConcatAtom , TestPluginAspCtxAcc , GenPluginAtom1 , TestTrueMultiInpAtom2 , TestAAtom , TestSmallerThanAtom , TestListMergeAtom , TestListSplitAtom , TestListLengthAtom , TestConcatAllAtom , TestZeroArityAtom , TestBAtom , GenPluginAtom2 , SenseNotArmed2PluginAtom , AbovePluginAtom , TestPluginAtomReach , FunctionInterprete , TestPlugin::SumNonZeroAtom , FunctionDecomposeAtom , PluginAtom , TestReachableAtom , SenseNotArmed1PluginAtom , TestFirstAtom , TestAppendAtom , ComfortPluginAtom , PluginAtom , TestDisjAtom , TestLessThanAtom , TestCycleAtom , TestEqualAtom , TestNonmonAtom , TestNegAtom , TestPlugin::ProductionRequirementsAtom , TestMinusOneAtom , TestIdcAtom , TestListConcatAtom , TestIdAtom
• retrieveCached() : PluginAtom
• retrieveFacade() : PluginAtom
• retrieveOrLearnSupportSets() : TestASPQueryAtom
• reverseBinaryOperator() : ID
• rewrite() : FunctionRewriter , PluginRewriter
• rewriteEDBIDB() : RewriteEDBIDBState , State , ProgramCtx
• RewriteEDBIDBState() : RewriteEDBIDBState
• row() : bm::tmatrix< T, ROWS, COLS >
• rows() : bm::tmatrix< T, ROWS, COLS >
• Rule() : Rule
• ruleToString() : InternalGrounder
• run() : DLVHEX_NAMESPACE_BEGIN::FinitenessChecker , LiberalSafetyPlugin , DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker , DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker , DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker