Here is a list of all struct and union fields with links to the structures/unions they belong to:
- e -
- Edges
: souffle::ram::analysis::MaxMatching
- element
: souffle::ast2ram::Location
, souffle::interpreter::TupleElement
, souffle::ram::TupleElement
- element_type
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::EquivalenceRelation< TupleType >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
, TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- elementTypes
: souffle::ast::analysis::UnionType
- eliminateDuplicates()
: souffle::ram::transform::EliminateDuplicatesTransformer
- emitCode()
: souffle::synthesiser::Synthesiser
- EmptinessCheck()
: souffle::ram::EmptinessCheck
- empty()
: souffle::ast::analysis::TypeSet
, souffle::ast::QualifiedName
, souffle::DebugReport
, souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::EquivalenceRelation< TupleType >
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
, souffle::ram::analysis::SearchSignature
, souffle::range< Iter >
, souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
, souffle::t_info< Arity_ >
, souffle::t_nullaries
, souffle::Table< T, blockSize >
, TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- empty_map
: json11::Statics
- empty_string
: json11::Statics
- empty_vector
: json11::Statics
- emptyPartition()
: souffle::EquivalenceRelation< TupleType >
- enableLogging()
: souffle::SignalHandler
- enclosingComponent
: souffle::ast::analysis::ComponentLookupAnalysis
- encode()
: souffle::interpreter::Order
- encodeIndexPos()
: souffle::interpreter::NodeGenerator
- encodeRelation()
: souffle::interpreter::NodeGenerator
- encodeView()
: souffle::interpreter::NodeGenerator
- end()
: souffle::ast::analysis::Assignment< Var >
, souffle::ast::analysis::TypeSet
, souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::detail::joined_sequence< Iter, Printer >
, souffle::EquivalenceRelation< TupleType >
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
, souffle::interpreter::RelationWrapper
, souffle::interpreter::RelInterface
, souffle::PiggyList< T >
, souffle::range< Iter >
, souffle::Relation
, souffle::RelationWrapper< RelType >
, souffle::reverse< A >
, souffle::SingleValueIterator< T >
, souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
, souffle::SrcLocation
, souffle::t_info< Arity_ >
, souffle::t_nullaries
, souffle::Table< T, blockSize >
, TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- end_read()
: souffle::OptimisticReadWriteLock
, souffle::ReadWriteLock
- end_write()
: souffle::OptimisticReadWriteLock
, souffle::ReadWriteLock
- endSection()
: souffle::DebugReport
- endtime
: souffle::profile::Iteration
- endTime
: souffle::profile::ProgramRun
- endtime
: souffle::profile::Relation
, souffle::profile::Rule
- Engine()
: souffle::interpreter::Engine
- engine
: souffle::interpreter::NodeGenerator
- entries
: souffle::LRUCache< T, size >
- entry
: souffle::LRUCache< T, 1 >
- entry_span_type
: souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::brie::TrieTypes< Dim >
, souffle::detail::brie::TrieTypes< 1u >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- entry_type
: souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::brie::TrieTypes< Dim >
, souffle::detail::brie::TrieTypes< 1u >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- env
: souffle::ast::analysis::TypeEnvironmentAnalysis
- environment
: souffle::ast::analysis::Type
- EqrelRelation()
: souffle::synthesiser::EqrelRelation
- equal()
: souffle::ast::Aggregator
, souffle::ast::AlgebraicDataType
, souffle::ast::Atom
, souffle::ast::Attribute
, souffle::ast::BinaryConstraint
, souffle::ast::BooleanConstraint
, souffle::ast::BranchInit
, souffle::ast::Clause
, souffle::ast::Component
, souffle::ast::ComponentInit
, souffle::ast::ComponentType
, souffle::ast::Constant
, souffle::ast::Directive
, souffle::ast::ExecutionOrder
, souffle::ast::ExecutionPlan
, souffle::ast::FunctorDeclaration
, souffle::ast::IntrinsicFunctor
, souffle::ast::Negation
, souffle::ast::Node
, souffle::ast::NumericConstant
, souffle::ast::Pragma
, souffle::ast::Program
, souffle::ast::RecordType
, souffle::ast::Relation
, souffle::ast::SubroutineArgument
, souffle::ast::SubsetType
, souffle::ast::Term
, souffle::ast::TypeCast
, souffle::ast::UnionType
, souffle::ast::UserDefinedFunctor
, souffle::ast::Variable
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::detail::comparator< T >
, souffle::EqrelMapComparator< StorePair >
, souffle::interpreter::index_utils::comparator< First, Rest... >
, souffle::interpreter::index_utils::comparator<>
, souffle::interpreter::Relation< _Arity, Structure >::iterator_base
, souffle::interpreter::RelationWrapper::iterator_base
, souffle::interpreter::RelInterface::iterator_base
, souffle::ram::AbstractAggregate
, souffle::ram::AbstractChoice
, souffle::ram::AbstractConditional
, souffle::ram::AbstractExistenceCheck
, souffle::ram::AbstractLog
, souffle::ram::AbstractOperator
, souffle::ram::Aggregate
, souffle::ram::BinRelationStatement
, souffle::ram::Call
, souffle::ram::Choice
, souffle::ram::Conjunction
, souffle::ram::Constant
, souffle::ram::Constraint
, souffle::ram::EmptinessCheck
, souffle::ram::Exit
, souffle::ram::IndexAggregate
, souffle::ram::IndexChoice
, souffle::ram::IndexOperation
, souffle::ram::IntrinsicOperator
, souffle::ram::IO
, souffle::ram::ListStatement
, souffle::ram::LogSize
, souffle::ram::Loop
, souffle::ram::Negation
, souffle::ram::NestedIntrinsicOperator
, souffle::ram::NestedOperation
, souffle::ram::Node
, souffle::ram::PackRecord
, souffle::ram::Program
, souffle::ram::Project
, souffle::ram::Query
, souffle::ram::Relation
, souffle::ram::RelationOperation
, souffle::ram::RelationSize
, souffle::ram::RelationStatement
, souffle::ram::SubroutineArgument
, souffle::ram::SubroutineReturn
, souffle::ram::TupleElement
, souffle::ram::TupleOperation
, souffle::ram::UnpackRecord
, souffle::ram::UserDefinedOperator
, souffle::Relation::iterator_base
, souffle::RelationWrapper< RelType >::iterator_wrapper
, souffle::RuleBody
- equals()
: json11::JsonDouble
, json11::JsonInt
, json11::JsonValue
, json11::Value< tag, T >
- Equivalence()
: souffle::Equivalence
- equivalencePartition
: souffle::EquivalenceRelation< TupleType >
- EquivalenceRelation
: souffle::DisjointSet
, souffle::EquivalenceRelation< TupleType >
, souffle::SparseDisjointSet< SparseDomain >
- error()
: souffle::ParserDriver
, souffle::SignalHandler
- errorReport
: souffle::ast::TranslationUnit
- ErrorReport()
: souffle::ErrorReport
- errorReport
: souffle::ram::TranslationUnit
- escape()
: souffle::profile::EventProcessorSingleton
- evalAggregate()
: souffle::interpreter::Engine
- evalChoice()
: souffle::interpreter::Engine
- evalExistenceCheck()
: souffle::interpreter::Engine
- evalIndexAggregate()
: souffle::interpreter::Engine
- evalIndexChoice()
: souffle::interpreter::Engine
- evalIndexScan()
: souffle::interpreter::Engine
- evalParallelAggregate()
: souffle::interpreter::Engine
- evalParallelChoice()
: souffle::interpreter::Engine
- evalParallelIndexAggregate()
: souffle::interpreter::Engine
- evalParallelIndexChoice()
: souffle::interpreter::Engine
- evalParallelIndexScan()
: souffle::interpreter::Engine
- evalParallelScan()
: souffle::interpreter::Engine
- evalProject()
: souffle::interpreter::Engine
- evalProvenanceExistenceCheck()
: souffle::interpreter::Engine
- evalScan()
: souffle::interpreter::Engine
- evaluate()
: TestCase
- evaluateCosts()
: souffle::ast::AllBoundSips
, souffle::ast::DeltaInputSips
, souffle::ast::DeltaSips
, souffle::ast::InputSips
, souffle::ast::LeastFreeSips
, souffle::ast::LeastFreeVarsSips
, souffle::ast::MaxBoundSips
, souffle::ast::MaxRatioSips
, souffle::ast::NaiveSips
, souffle::ast::ProfileUseSips
, souffle::ast::SipsMetric
, souffle::ast::StrictSips
- EventProcessorSingleton()
: souffle::profile::EventProcessorSingleton
- exec
: souffle::interpreter::ProgInterface
- ExecOrder
: souffle::ast::ExecutionOrder
- execute()
: souffle::interpreter::Engine
- executeMain()
: souffle::interpreter::Engine
- executeSQL()
: souffle::ReadStreamSQLite
, souffle::WriteStreamSQLite
- executeSubroutine()
: souffle::interpreter::Engine
, souffle::interpreter::ProgInterface
, souffle::SouffleProgram
- ExecutionOrder()
: souffle::ast::ExecutionOrder
- existDir()
: souffle::CmdOptions
- ExistenceCheck()
: souffle::interpreter::ExistenceCheck
, souffle::ram::ExistenceCheck
- existFile()
: souffle::CmdOptions
- exists()
: souffle::interpreter::Relation< _Arity, Structure >
- existsValidPermutation()
: souffle::ast::transform::MinimiseProgramTransformer
- Exit()
: souffle::ram::Exit
- exitIfErrors()
: souffle::ErrorReport
- expandFilters()
: souffle::ram::transform::ExpandFilterTransformer
- expandRecordBinaryConstraint()
: souffle::ast::transform::FoldAnonymousRecords
- expired()
: souffle::ast::analysis::RelationScheduleAnalysisStep
- expiredRelations
: souffle::ast::analysis::RelationScheduleAnalysisStep
- explain()
: souffle::Explain
- Explain()
: souffle::Explain
- explain()
: souffle::ExplainProvenance
, souffle::ExplainProvenanceImpl
- ExplainConfig()
: souffle::ExplainConfig
- explainNegation()
: souffle::ExplainProvenance
, souffle::ExplainProvenanceImpl
- explainNegationGetVariables()
: souffle::ExplainProvenance
, souffle::ExplainProvenanceImpl
- ExplainProvenance()
: souffle::ExplainProvenance
- ExplainProvenanceImpl()
: souffle::ExplainProvenanceImpl
- explainSubproof()
: souffle::ExplainProvenance
, souffle::ExplainProvenanceImpl
- expr
: souffle::interpreter::Aggregate
, souffle::interpreter::UnpackRecord
- expression
: souffle::ram::AbstractAggregate
, souffle::ram::UnpackRecord
- ExpressionPair
: souffle::ram::transform::MakeIndexTransformer
- expressions
: souffle::ram::Project
, souffle::ram::SubroutineReturn
- exprFirst
: souffle::interpreter::SuperInstruction
- exprSecond
: souffle::interpreter::SuperInstruction
- extend()
: souffle::ast::analysis::TypeBinding
, souffle::EquivalenceRelation< TupleType >
, souffle::interpreter::EqrelIndex
, souffle::interpreter::EqrelRelation
- Extend()
: souffle::interpreter::Extend
, souffle::ram::Extend
- extent
: TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- extloc()
: souffle::ast::Node
, souffle::SrcLocation
- extractIDB()
: souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
- extractRelationNameFromAtom()
: souffle::profile::Reader