- i -

• ID() : souffle::profile::DataComparator
• igzfstream() : souffle::gzfstream::igzfstream
• impl() : souffle::detail::brie::TrieBase< Dim, Derived >
• 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::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure >
• IndexAggregate() : souffle::interpreter::IndexAggregate , souffle::ram::IndexAggregate
• IndexAnalysis() : souffle::ram::analysis::IndexAnalysis
• IndexChoice() : souffle::interpreter::IndexChoice , souffle::ram::IndexChoice
• indexOfScc() : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
• IndexOperation() : souffle::ram::IndexOperation
• IndexScan() : souffle::interpreter::IndexScan , souffle::ram::IndexScan
• indexValues() : souffle::ast2ram::ClauseTranslator
• IndirectRelation() : souffle::synthesiser::IndirectRelation
• InfoRelation() : souffle::synthesiser::InfoRelation
• init() : tinyformat::detail::FormatListN< N >
• initializeConstantTypes() : souffle::ast::analysis::TypeEnvironment
• initializePrimitiveTypes() : souffle::ast::analysis::TypeEnvironment
• inner_node() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::inner_node
• InnerNode() : souffle::InnerNode
• InputReader() : souffle::profile::InputReader
• 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
• 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
• instance() : souffle::profile::EventProcessorSingleton , souffle::ProfileEventSingleton , souffle::SignalHandler
• instantiateUnnamedVariables() : souffle::ast::transform::MaterializeAggregationQueriesTransformer
• int_value() : json11::Json , json11::JsonDouble , json11::JsonInt , json11::JsonValue
• 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
• IOTypeAnalysis() : souffle::ast::analysis::IOTypeAnalysis
• 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
• 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 >
• 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
• 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
• isOutput() : souffle::ast::analysis::IOTypeAnalysis
• isPrimitiveType() : souffle::ast::analysis::TypeEnvironment
• isPrintSize() : souffle::ast::analysis::IOTypeAnalysis
• isProfiling() : souffle::CmdOptions
• isReady() : souffle::profile::Relation
• isRecursive() : souffle::ast::analysis::SCCGraphAnalysis , souffle::profile::Rule
• 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
• iterateOverAtom() : souffle::ast::analysis::TypeConstraintsAnalysis
• Iteration() : souffle::profile::Iteration
• iterator() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator , souffle::EquivalenceRelation< TupleType >::iterator , souffle::interpreter::Index< 0, Structure >::iterator
• Iterator() : souffle::interpreter::RelationWrapper::Iterator
• iterator() : souffle::PiggyList< T >::iterator , souffle::Relation::iterator , souffle::t_info< Arity_ >::iterator , souffle::t_nullaries::iterator , souffle::Table< T, blockSize >::iterator
• iterator_base() : souffle::interpreter::Relation< _Arity, Structure >::iterator_base , souffle::interpreter::RelInterface::iterator_base , souffle::Relation::iterator_base
• iterator_core() : souffle::detail::brie::TrieTypes< Dim >::iterator_core , souffle::detail::brie::TrieTypes< 1u >::iterator_core
• iterator_wrapper() : souffle::RelationWrapper< RelType >::iterator_wrapper
• IterDerefWrapper() : souffle::IterDerefWrapper< Iter, T >