Here is a list of all struct and union fields with links to the structures/unions they belong to:
- r -
- R_T()
: souffle::profile::DataComparator
- ra
: souffle::ram::analysis::ComplexityAnalysis
, souffle::ram::analysis::LevelAnalysis
- raiseLevel()
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- ramMain
: souffle::ast2ram::AstToRamTranslator
- ramRelationInterface
: souffle::interpreter::RelInterface::iterator_base
- ramRels
: souffle::ast2ram::AstToRamTranslator
- ramSubs
: souffle::ast2ram::AstToRamTranslator
- 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 >
- rca
: souffle::ram::transform::ReorderConditionsTransformer
- 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
- reader
: souffle::profile::Tui
- 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
- reads
: souffle::interpreter::Engine
- ReadStream()
: souffle::ReadStream
- ReadStreamCSV()
: souffle::ReadStreamCSV
- ReadStreamJSON()
: souffle::ReadStreamJSON
- ReadStreamSQLite()
: souffle::ReadStreamSQLite
- readUntil()
: souffle::ReadStream
- ReadWriteLock()
: souffle::ReadWriteLock
- ready
: souffle::profile::Relation
- rebalance_or_split()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- record_definition_map
: souffle::ast2ram::ValueIndex
- record_definitions
: souffle::ast2ram::ValueIndex
- RecordInit()
: souffle::ast::RecordInit
- RecordMap()
: souffle::RecordMap
- recordTable
: souffle::interpreter::Engine
, souffle::interpreter::ProgInterface
- RecordTable()
: souffle::RecordTable
- recordTable
: souffle::SerialisationStream< readOnlyTables >
, souffle::synthesiser::Synthesiser
- recordToIndex
: souffle::RecordMap
- RecordType()
: souffle::ast::analysis::RecordType
, souffle::ast::RecordType
- recursive()
: souffle::ast::analysis::RecursiveClausesAnalysis
, souffle::ast::analysis::RelationScheduleAnalysisStep
, souffle::profile::Rule
- recursiveClauses
: souffle::ast::analysis::RecursiveClausesAnalysis
, souffle::ast::transform::SemanticCheckerImpl
- RecursiveClausesAnalysis()
: souffle::ast::analysis::RecursiveClausesAnalysis
- recursiveId
: souffle::profile::Relation
- 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
- redundantClauses
: souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
- redundantRelations
: souffle::ast::analysis::RedundantRelationsAnalysis
- RedundantRelationsAnalysis()
: souffle::ast::analysis::RedundantRelationsAnalysis
- reference
: souffle::detail::brie::forward_non_output_iterator_traits< A >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator
, souffle::EquivalenceRelation< TupleType >::iterator
, souffle::t_nullaries::iterator
, TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- registerEventProcessor()
: souffle::profile::EventProcessorSingleton
- registerFactory()
: souffle::ProgramFactory
- registerReadStreamFactory()
: souffle::IOSystem
- registerWriteStreamFactory()
: souffle::IOSystem
- registry
: souffle::profile::EventProcessorSingleton
- rel_id
: souffle::profile::Reader
- relAnalysis
: souffle::ram::analysis::IndexAnalysis
, souffle::ram::transform::IndexedInequalityTransformer
, souffle::ram::transform::MakeIndexTransformer
, souffle::ram::transform::ParallelTransformer
- relation
: souffle::ast2ram::Location
- Relation()
: souffle::ast::Relation
, souffle::interpreter::Relation< _Arity, Structure >
- relation
: souffle::interpreter::RelInterface
- Relation()
: souffle::profile::Relation
- relation
: souffle::ram::AbstractExistenceCheck
, souffle::ram::EmptinessCheck
, souffle::ram::Project
- Relation()
: souffle::ram::Relation
- relation
: souffle::ram::RelationOperation
, souffle::ram::RelationSize
, souffle::ram::RelationStatement
, souffle::RelationWrapper< RelType >::iterator_wrapper
, souffle::RelationWrapper< RelType >
, souffle::synthesiser::Relation
- Relation()
: souffle::synthesiser::Relation
- relation
: souffle::tuple
- RelationAnalysis()
: souffle::ram::analysis::RelationAnalysis
- RelationcreateId()
: souffle::profile::Reader
- RelationDetailCacheAnalysis()
: souffle::ast::analysis::RelationDetailCacheAnalysis
- RelationHandle
: souffle::interpreter::Engine
, souffle::interpreter::Node
, souffle::interpreter::NodeGenerator
- RelationIOTimingProcessor()
: souffle::profile::RelationIOTimingProcessor
- relationMap
: souffle::interpreter::NodeGenerator
, souffle::profile::ProgramRun
, souffle::profile::Reader
, souffle::ram::analysis::RelationAnalysis
, souffle::SouffleProgram
, souffle::synthesiser::Synthesiser
- relationName
: souffle::interpreter::ExistenceCheck
, souffle::ReadStreamSQLite
, souffle::WriteStreamSQLite
- RelationOperation()
: souffle::ram::RelationOperation
- RelationReadsProcessor()
: souffle::profile::RelationReadsProcessor
- relations
: souffle::ast::Component
, souffle::ast::Program
, souffle::interpreter::Engine
, souffle::ram::Program
- relationSchedule
: souffle::ast::analysis::RelationScheduleAnalysis
- RelationScheduleAnalysis()
: souffle::ast::analysis::RelationScheduleAnalysis
- RelationScheduleAnalysisStep()
: souffle::ast::analysis::RelationScheduleAnalysisStep
- RelationSize()
: souffle::ram::RelationSize
- RelationStatement()
: souffle::ram::RelationStatement
- relationTable
: souffle::profile::Tui
- relationToScc
: souffle::ast::analysis::SCCGraphAnalysis
- RelationWrapper()
: souffle::interpreter::RelationWrapper
, souffle::RelationWrapper< RelType >
- relDetail
: souffle::ast::DeltaInputSips
, souffle::ast::InputSips
- relHandle
: souffle::interpreter::Node
- relId
: souffle::interpreter::NodeGenerator
- RelInterface()
: souffle::interpreter::RelInterface
- relName
: souffle::interpreter::RelationWrapper
- relTable
: souffle::interpreter::NodeGenerator
- 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
- report
: souffle::ast::transform::SemanticCheckerImpl
, souffle::ast::transform::TypeCheckerImpl
, souffle::ast::transform::TypeDeclarationChecker
- representation
: souffle::ast::Relation
, souffle::ram::Relation
- requireView()
: souffle::interpreter::NodeGenerator
- reserveSize
: souffle::gzfstream::internal::gzfstreambuf
- reset()
: souffle::CacheAccessCounter
, souffle::SignalHandler
- resetIterationNumber()
: souffle::interpreter::Engine
- resetTimerInterval()
: souffle::ProfileEventSingleton::ProfileTimer
, souffle::ProfileEventSingleton
- resolve()
: souffle::SymbolTable
- resolveAliases()
: souffle::ast::transform::ResolveAliasesTransformer
- result
: souffle::IntrinsicFunctorInfo
- result_type
: souffle::detail::lambda_traits_helper< R()>
, souffle::detail::lambda_traits_helper< R(A0)>
, souffle::detail::lambda_traits_helper< R(A0, A1)>
, souffle::detail::lambda_traits_helper< R(Args...)>
- resultLimit
: souffle::profile::Tui
- returnType
: souffle::ast::FunctorDeclaration
, souffle::ram::UserDefinedOperator
- returnValues
: souffle::interpreter::Context
- reverse()
: souffle::reverse< A >
- reverse_iterator
: TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- 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
- rhs
: souffle::ast::BinaryConstraint
, souffle::interpreter::BinaryNode
, souffle::ram::Conjunction
, souffle::ram::Constraint
- rla
: souffle::ram::transform::ChoiceConversionTransformer
, souffle::ram::transform::HoistAggregateTransformer
, souffle::ram::transform::HoistConditionsTransformer
, souffle::ram::transform::MakeIndexTransformer
- RO
: souffle::SerialisationStream< readOnlyTables >
- root
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::SparseArray< T, BITS, merge_op, copy_op >::RootInfo
, souffle::SparseArray< T, BITS, merge_op, copy_op >::RootInfoSnapshot
- root_lock
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- Row()
: souffle::profile::Row
- rows
: souffle::profile::Table
- rule
: souffle::profile::Atom
- Rule()
: souffle::profile::Rule
- RuleBody()
: souffle::RuleBody
- ruleId
: souffle::profile::Relation
- ruleMap
: souffle::profile::Relation
- rules
: souffle::ExplainProvenanceImpl
, souffle::profile::Iteration
- ruleTable
: souffle::profile::Tui
- 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::profile::Reader
, 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
- runCount
: souffle::ProfileEventSingleton::ProfileTimer
- running
: souffle::ProfileEventSingleton::ProfileTimer
- runProf()
: souffle::profile::Tui
- runtime()
: souffle::LogStatement