- r -

• R_T() : souffle::profile::DataComparator
• raiseLevel() : souffle::SparseArray< T, BITS, merge_op, copy_op >
• RandomInsertPiggyList() : souffle::RandomInsertPiggyList< T >
• range() : souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< _Arity, Structure >::View , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Index< 0, Structure >::View , souffle::interpreter::Relation< _Arity, Structure > , souffle::range< Iter >
• rbegin() : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• rdbuf() : souffle::gzfstream::igzfstream , souffle::gzfstream::internal::gzfstream , souffle::gzfstream::ogzfstream
• reaches() : souffle::Graph< Vertex, Compare >
• readADT() : souffle::ReadStream
• readAll() : souffle::ReadStream
• readAlphanumeric() : souffle::ReadStream
• readchar() : souffle::profile::InputReader
• Reader() : souffle::profile::Reader
• ReadFileCSV() : souffle::ReadFileCSV
• ReadFileJSON() : souffle::ReadFileJSON
• readNextElementList() : souffle::ReadStreamJSON
• readNextElementObject() : souffle::ReadStreamJSON
• readNextTuple() : souffle::ReadFileCSV , souffle::ReadStream , souffle::ReadStreamCSV , souffle::ReadStreamJSON , souffle::ReadStreamSQLite
• readNextTupleList() : souffle::ReadStreamJSON
• readNextTupleObject() : souffle::ReadStreamJSON
• readRamUnsigned() : souffle::ReadStreamCSV
• readRecord() : souffle::ReadStream
• ReadStream() : souffle::ReadStream
• ReadStreamCSV() : souffle::ReadStreamCSV
• ReadStreamJSON() : souffle::ReadStreamJSON
• ReadStreamSQLite() : souffle::ReadStreamSQLite
• readUntil() : souffle::ReadStream
• ReadWriteLock() : souffle::ReadWriteLock
• rebalance_or_split() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• RecordInit() : souffle::ast::RecordInit
• RecordMap() : souffle::RecordMap
• RecordTable() : souffle::RecordTable
• RecordType() : souffle::ast::analysis::RecordType , souffle::ast::RecordType
• recursive() : souffle::ast::analysis::RecursiveClausesAnalysis , souffle::ast::analysis::RelationScheduleAnalysisStep
• RecursiveClausesAnalysis() : souffle::ast::analysis::RecursiveClausesAnalysis
• RecursiveRelationCopyTimingProcessor() : souffle::profile::RecursiveRelationCopyTimingProcessor
• RecursiveRelationNumberProcessor() : souffle::profile::RecursiveRelationNumberProcessor
• RecursiveRelationTimingProcessor() : souffle::profile::RecursiveRelationTimingProcessor
• RecursiveRuleNumberProcessor() : souffle::profile::RecursiveRuleNumberProcessor
• RecursiveRuleTimingProcessor() : souffle::profile::RecursiveRuleTimingProcessor
• reduceClauseBodies() : souffle::ast::transform::MinimiseProgramTransformer
• reduceDependencies() : souffle::ast::BindingStore
• reduceDependency() : souffle::ast::BindingStore
• reduceLocallyEquivalentClauses() : souffle::ast::transform::MinimiseProgramTransformer
• reduceSingletonRelations() : souffle::ast::transform::MinimiseProgramTransformer
• RedundantRelationsAnalysis() : souffle::ast::analysis::RedundantRelationsAnalysis
• registerEventProcessor() : souffle::profile::EventProcessorSingleton
• registerFactory() : souffle::ProgramFactory
• registerReadStreamFactory() : souffle::IOSystem
• registerWriteStreamFactory() : souffle::IOSystem
• Relation() : souffle::ast::Relation , souffle::interpreter::Relation< _Arity, Structure > , souffle::profile::Relation , souffle::ram::Relation , souffle::synthesiser::Relation
• RelationAnalysis() : souffle::ram::analysis::RelationAnalysis
• RelationcreateId() : souffle::profile::Reader
• RelationDetailCacheAnalysis() : souffle::ast::analysis::RelationDetailCacheAnalysis
• RelationIOTimingProcessor() : souffle::profile::RelationIOTimingProcessor
• RelationOperation() : souffle::ram::RelationOperation
• RelationReadsProcessor() : souffle::profile::RelationReadsProcessor
• RelationScheduleAnalysis() : souffle::ast::analysis::RelationScheduleAnalysis
• RelationScheduleAnalysisStep() : souffle::ast::analysis::RelationScheduleAnalysisStep
• RelationSize() : souffle::ram::RelationSize
• RelationStatement() : souffle::ram::RelationStatement
• RelationWrapper() : souffle::interpreter::RelationWrapper , souffle::RelationWrapper< RelType >
• RelInterface() : souffle::interpreter::RelInterface
• removeADTs() : souffle::ast2ram::AstToRamTranslator
• removeClause() : souffle::ast::Program
• removeComplexTermsInAtoms() : souffle::ast::transform::ResolveAliasesTransformer
• removeDirective() : souffle::ast::Program
• removeEmptyRelations() : souffle::ast::transform::RemoveEmptyRelationsTransformer
• removeEmptyRelationUses() : souffle::ast::transform::RemoveEmptyRelationsTransformer
• removeExtraInequalities() : souffle::ram::analysis::MinIndexSelection
• removeQualifier() : souffle::ast::Relation
• removeRedundantClauses() : souffle::ast::transform::MinimiseProgramTransformer
• removeRelationCopies() : souffle::ast::transform::RemoveRelationCopiesTransformer
• removeRelationDecl() : souffle::ast::Program
• removeTrivialEquality() : souffle::ast::transform::ResolveAliasesTransformer
• rend() : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• render() : souffle::InnerNode , souffle::LeafNode , souffle::TreeNode
• reorderClauseWithSips() : souffle::ast::transform::ReorderLiteralsTransformer
• reorderConditions() : souffle::ram::transform::ReorderConditionsTransformer
• reorderFilterBreak() : souffle::ram::transform::ReorderFilterBreak
• reorderOperations() : souffle::ram::transform::TupleIdTransformer
• replaceNamedVariables() : souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer
• replaceUnnamedVariable() : souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer
• requireView() : souffle::interpreter::NodeGenerator
• reset() : souffle::CacheAccessCounter , souffle::SignalHandler
• resetIterationNumber() : souffle::interpreter::Engine
• resetTimerInterval() : souffle::ProfileEventSingleton::ProfileTimer , souffle::ProfileEventSingleton
• resolve() : souffle::SymbolTable
• resolveAliases() : souffle::ast::transform::ResolveAliasesTransformer
• reverse() : souffle::reverse< A >
• rewind() : souffle::tuple
• rewrite() : souffle::ram::Node
• rewriteAggregate() : souffle::ram::transform::MakeIndexTransformer
• rewriteIndexScan() : souffle::ram::transform::ChoiceConversionTransformer , souffle::ram::transform::IfConversionTransformer , souffle::ram::transform::MakeIndexTransformer
• rewriteScan() : souffle::ram::transform::ChoiceConversionTransformer , souffle::ram::transform::MakeIndexTransformer
• Row() : souffle::profile::Row
• Rule() : souffle::profile::Rule
• RuleBody() : souffle::RuleBody
• run() : souffle::ast::analysis::Analysis , souffle::ast::analysis::AuxiliaryArityAnalysis , souffle::ast::analysis::ClauseNormalisationAnalysis , souffle::ast::analysis::ComponentLookupAnalysis , souffle::ast::analysis::FunctorAnalysis , souffle::ast::analysis::IOTypeAnalysis , souffle::ast::analysis::PolymorphicObjectsAnalysis , souffle::ast::analysis::PrecedenceGraphAnalysis , souffle::ast::analysis::ProfileUseAnalysis , souffle::ast::analysis::RecursiveClausesAnalysis , souffle::ast::analysis::RedundantRelationsAnalysis , souffle::ast::analysis::RelationDetailCacheAnalysis , souffle::ast::analysis::RelationScheduleAnalysis , souffle::ast::analysis::SCCGraphAnalysis , souffle::ast::analysis::SumTypeBranchesAnalysis , souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis , souffle::ast::analysis::TypeAnalysis , souffle::ast::analysis::TypeEnvironmentAnalysis , souffle::ast::transform::TypeCheckerImpl , souffle::ast::transform::TypeDeclarationChecker , souffle::interpreter::ProgInterface , souffle::ProfileEventSingleton::ProfileTimer , souffle::ram::analysis::Analysis , souffle::ram::analysis::ComplexityAnalysis , souffle::ram::analysis::IndexAnalysis , souffle::ram::analysis::LevelAnalysis , souffle::ram::analysis::RelationAnalysis , souffle::SouffleProgram , SWIGSouffleProgram , TestCase
• runAll() : souffle::interpreter::ProgInterface , souffle::SouffleProgram , SWIGSouffleProgram
• runCommand() : souffle::profile::Tui
• runProf() : souffle::profile::Tui
• runtime() : souffle::LogStatement