Here is a list of all struct and union fields with links to the structures/unions they belong to:
- i -
- id
: souffle::ast::analysis::Variable< Id, PropertySpace >
, souffle::DebugReportSection
, souffle::interpreter::RelInterface
- ID()
: souffle::profile::DataComparator
- id
: souffle::profile::Relation
, souffle::Relation::iterator_base
, souffle::RelationWrapper< RelType >
- identifier
: souffle::ast2ram::Location
, souffle::ast::analysis::Analysis
, souffle::profile::Atom
, souffle::profile::Rule
, souffle::ram::analysis::Analysis
, souffle::ram::TupleElement
, souffle::ram::TupleOperation
- identifiers
: souffle::synthesiser::Synthesiser
- idxAnalysis
: souffle::ram::transform::IndexedInequalityTransformer
- idxMap
: souffle::synthesiser::Synthesiser
- igzfstream()
: souffle::gzfstream::igzfstream
- impl()
: souffle::detail::brie::TrieBase< Dim, Derived >
- in_history
: souffle::profile::InputReader
- in_tab_complete
: souffle::profile::InputReader
- inBoundaries()
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- inc()
: souffle::detail::brie::TrieTypes< Dim >::iterator_core
, souffle::detail::brie::TrieTypes< 1u >::iterator_core
- incCounter()
: souffle::interpreter::Engine
- incIterationNumber()
: souffle::interpreter::Engine
- increaseInterval()
: souffle::ProfileEventSingleton::ProfileTimer
- index
: souffle::ast::SubroutineArgument
- Index()
: souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
- INDEX_MASK
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- index_type
: souffle::detail::brie::SparseArrayIter< SparseArray >
, souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
- IndexAggregate()
: souffle::interpreter::IndexAggregate
, souffle::ram::IndexAggregate
- IndexAnalysis()
: souffle::ram::analysis::IndexAnalysis
- IndexChoice()
: souffle::interpreter::IndexChoice
, souffle::ram::IndexChoice
- indexes
: souffle::interpreter::Relation< _Arity, Structure >
- indexOfScc()
: souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
- IndexOperation()
: souffle::ram::IndexOperation
- IndexScan()
: souffle::interpreter::IndexScan
, souffle::ram::IndexScan
- IndexSignatureMap
: souffle::ram::analysis::MinIndexSelection
- indexTable
: souffle::interpreter::NodeGenerator
- indexToRecord
: souffle::RecordMap
- indexToSignature
: souffle::ram::analysis::MinIndexSelection
- indexValues()
: souffle::ast2ram::ClauseTranslator
- IndexViewPtr
: souffle::interpreter::RelationWrapper
- indices
: souffle::Equivalence
, souffle::synthesiser::Relation
- IndirectRelation()
: souffle::synthesiser::IndirectRelation
- InfiniteDistance
: souffle::ram::analysis::MaxMatching
- info
: souffle::ExplainProvenanceImpl
- InfoRelation()
: souffle::synthesiser::InfoRelation
- init()
: tinyformat::detail::FormatListN< N >
- INITIALBLOCKSIZE
: souffle::RandomInsertPiggyList< T >
- initializeConstantTypes()
: souffle::ast::analysis::TypeEnvironment
- initializePrimitiveTypes()
: souffle::ast::analysis::TypeEnvironment
- inner
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::base
- inner_node()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::inner_node
- InnerNode()
: souffle::InnerNode
- input_dir
: souffle::CmdOptions
- inputFactories
: souffle::IOSystem
- inputMap
: souffle::ReadStreamCSV
- InputReader()
: souffle::profile::InputReader
- inputReceived
: souffle::profile::InputReader
- inputRelations
: souffle::ast::analysis::IOTypeAnalysis
, souffle::SouffleProgram
- InputSips()
: souffle::ast::InputSips
- insert()
: souffle::ast::analysis::TypeSet
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::detail::LambdaBTree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, Functor, WeakComparator, Updater >
, souffle::EquivalenceRelation< TupleType >
, souffle::Graph< Vertex, Compare >
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
, souffle::interpreter::RelationWrapper
, souffle::interpreter::RelInterface
, souffle::Relation
, souffle::RelationWrapper< RelType >
, souffle::RuleBody
, souffle::SouffleProgram
, souffle::SymbolTable
, souffle::t_info< Arity_ >
, souffle::t_nullaries
, souffle::Table< T, blockSize >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- insert_inner()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- insert_lock
: souffle::t_info< Arity_ >
- insertAll()
: souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::EquivalenceRelation< TupleType >
- insertAt()
: souffle::RandomInsertPiggyList< T >
- insertDefaultTotalIndex()
: souffle::ram::analysis::MinIndexSelection
- insertIndex()
: souffle::ram::analysis::MinIndexSelection
- insertOrder()
: souffle::interpreter::NodeGenerator::OrderingContext
- inserts
: souffle::detail::brie::TrieBase< Dim, Derived >::hint_statistics
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::hint_statistics
- insertStatement
: souffle::WriteStreamSQLite
- instance()
: souffle::profile::EventProcessorSingleton
, souffle::ProfileEventSingleton
, souffle::SignalHandler
- instanceName
: souffle::ast::ComponentInit
- instantiateUnnamedVariables()
: souffle::ast::transform::MaterializeAggregationQueriesTransformer
- instantiations
: souffle::ast::Component
, souffle::ast::Program
- int_value()
: json11::Json
, json11::JsonDouble
, json11::JsonInt
, json11::JsonValue
- interfaces
: souffle::interpreter::ProgInterface
- internalRelations
: souffle::SouffleProgram
- intersection()
: souffle::ast::analysis::TypeSet
- IntrinsicFunctor()
: souffle::ast::IntrinsicFunctor
- IntrinsicOperator()
: souffle::ram::IntrinsicOperator
- invalidateAnalyses()
: souffle::ast::TranslationUnit
, souffle::ram::TranslationUnit
- invoke()
: tinyformat::detail::convertToInt< T, convertible >
, tinyformat::detail::convertToInt< T, true >
, tinyformat::detail::formatValueAsType< T, fmtT, convertible >
, tinyformat::detail::formatValueAsType< T, fmtT, true >
- IO()
: souffle::ram::IO
- IOSystem()
: souffle::IOSystem
- ioType
: souffle::ast2ram::AstToRamTranslator
, souffle::ast::analysis::SCCGraphAnalysis
- IOTypeAnalysis()
: souffle::ast::analysis::IOTypeAnalysis
- ioTypes
: souffle::ast::DeltaInputSips
, souffle::ast::InputSips
, souffle::ast::transform::SemanticCheckerImpl
- is_array()
: json11::Json
- is_bool()
: json11::Json
- is_null()
: json11::Json
- is_number()
: json11::Json
- is_object()
: json11::Json
- is_open()
: souffle::gzfstream::internal::gzfstream
, souffle::gzfstream::internal::gzfstreambuf
- is_string()
: json11::Json
- is_write_locked()
: souffle::OptimisticReadWriteLock
- isa
: souffle::interpreter::Engine
- isAdorned()
: souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
- isAll()
: souffle::ast::analysis::TypeSet
- isBound()
: souffle::ast::BindingStore
- isComparable()
: souffle::ram::analysis::SearchSignature
- isCyclic()
: souffle::ast::analysis::TypeEnvironmentAnalysis
- isDefined()
: souffle::ast2ram::ValueIndex
- isDependent()
: souffle::ast::transform::SemanticCheckerImpl
- isEmpty()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- isEnd()
: souffle::detail::brie::SparseArrayIter< SparseArray >
, souffle::detail::brie::SparseBitMapIter< SparseBitMap >
- isEndVal
: souffle::EquivalenceRelation< TupleType >::iterator
- isFirst
: souffle::WriteCoutJSON
, souffle::WriteFileJSON
- isFloat()
: souffle::ast::analysis::TypeAnalysis
- isFull()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
, souffle::Table< T, blockSize >::Block
- isFullyNormalised()
: souffle::ast::analysis::NormalisedClause
- isGenerator()
: souffle::ast2ram::ValueIndex
- isInitialized
: souffle::ReadStreamJSON
- isInner()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::base
- isInput()
: souffle::ast::analysis::IOTypeAnalysis
- isIO()
: souffle::ast::analysis::IOTypeAnalysis
- isLeaf()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::base
- isLimitSize()
: souffle::ast::analysis::IOTypeAnalysis
- isLive()
: souffle::profile::Reader
- isLoaded()
: souffle::profile::Reader
- isMultiResult()
: souffle::ast::analysis::FunctorAnalysis
- isMultiResultFunctor()
: souffle::ast::analysis::TypeAnalysis
- isNegativelyLabelled()
: souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer
- isNullary()
: souffle::ram::Relation
- isOpen
: souffle::gzfstream::internal::gzfstreambuf
- isOutput()
: souffle::ast::analysis::IOTypeAnalysis
- isParallel
: souffle::interpreter::ViewContext
- isPrimitiveType()
: souffle::ast::analysis::TypeEnvironment
- isPrintSize()
: souffle::ast::analysis::IOTypeAnalysis
- isProfiling()
: souffle::CmdOptions
- isProvenance
: souffle::interpreter::Engine
, souffle::synthesiser::Relation
- isReady()
: souffle::profile::Relation
- isRecursive
: souffle::ast::analysis::RelationScheduleAnalysisStep
, souffle::ast::analysis::SCCGraphAnalysis
, souffle::profile::Rule
- isSet
: souffle::SignalHandler
- isSingleValued()
: souffle::ast::transform::MaterializeSingletonAggregationTransformer
- isSomethingDefinedOn()
: souffle::ast2ram::ValueIndex
- isStateful()
: souffle::ast::analysis::FunctorAnalysis
, souffle::ast::FunctorDeclaration
, souffle::ram::UserDefinedOperator
- isStatefulFunctor()
: souffle::ast::analysis::TypeAnalysis
- isSubset()
: souffle::ram::analysis::MinIndexSelection
, souffle::ram::analysis::SearchSignature
- isSubsetOf()
: souffle::ast::analysis::TypeSet
, souffle::RuleBody
- isSymbol()
: souffle::ast::analysis::TypeAnalysis
- isTemp()
: souffle::interpreter::ExistenceCheck
, souffle::ram::Relation
- isTotalSearch()
: souffle::interpreter::ExistenceCheck
- isTotalSignature()
: souffle::ram::analysis::IndexAnalysis
- isTrue()
: souffle::ast::BooleanConstraint
- isType()
: souffle::ast::analysis::TypeEnvironment
- isUnsigned()
: souffle::ast::analysis::TypeAnalysis
- isValid()
: souffle::ast::transform::NullableVector< T >
- isValidPermutation()
: souffle::ast::transform::MinimiseProgramTransformer
- isValidRecordConstraint()
: souffle::ast::transform::FoldAnonymousRecords
- it
: souffle::interpreter::RelInterface::iterator_base
, souffle::RelationWrapper< RelType >::iterator_wrapper
, souffle::t_info< Arity_ >::iterator
- iter
: souffle::detail::brie::SparseBitMapIter< SparseBitMap >
, souffle::detail::brie::TrieTypes< Dim >::iterator_core
, souffle::detail::brie::TrieTypes< 1u >::iterator_core
, souffle::interpreter::Relation< _Arity, Structure >::iterator_base
, souffle::interpreter::RelationWrapper::Iterator
, souffle::IterDerefWrapper< Iter, T >
, souffle::Relation::iterator
- iter_core
: souffle::detail::brie::TrieIterator< Value, IterCore >
- iter_core_arg_type
: souffle::detail::brie::TrieIterator< Value, IterCore >
- iterable
: souffle::reverse< A >
- iterateOverAtom()
: souffle::ast::analysis::TypeConstraintsAnalysis
- iteration
: souffle::interpreter::Engine
, souffle::Logger
- Iteration()
: souffle::profile::Iteration
- iterations
: souffle::profile::Relation
- iterator
: souffle::ast::analysis::Assignment< Var >
, souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::brie::TrieTypes< Dim >
, souffle::detail::brie::TrieTypes< 1u >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator
, souffle::EquivalenceRelation< TupleType >::iterator
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >::iterator
, souffle::interpreter::Relation< _Arity, Structure >
- Iterator()
: souffle::interpreter::RelationWrapper::Iterator
- iterator()
: souffle::PiggyList< T >::iterator
, souffle::Relation::iterator
, souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
, souffle::t_info< Arity_ >::iterator
, souffle::t_nullaries::iterator
, souffle::Table< T, blockSize >::iterator
, souffle::Trie< Dim >
, souffle::Trie< 1u >
, TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- iterator_base()
: souffle::interpreter::Relation< _Arity, Structure >::iterator_base
, souffle::interpreter::RelInterface::iterator_base
, souffle::Relation::iterator_base
- iterator_category
: 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
- iterator_core
: souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::brie::TrieTypes< Dim >::iterator_core
, souffle::detail::brie::TrieTypes< 1u >::iterator_core
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- iterator_wrapper()
: souffle::RelationWrapper< RelType >::iterator_wrapper
- IterDerefWrapper()
: souffle::IterDerefWrapper< Iter, T >
- IterType
: souffle::EquivalenceRelation< TupleType >::iterator
- ityp
: souffle::EquivalenceRelation< TupleType >::iterator