Here is a list of all struct and union fields with links to the structures/unions they belong to:

- a -

• a : souffle::range< Iter >
• a_blocks : souffle::DisjointSet
• abort_write() : souffle::OptimisticReadWriteLock
• AbstractAggregate() : souffle::ram::AbstractAggregate
• AbstractChoice() : souffle::ram::AbstractChoice
• AbstractConditional() : souffle::ram::AbstractConditional
• AbstractExistenceCheck() : souffle::ram::AbstractExistenceCheck
• AbstractLog() : souffle::ram::AbstractLog
• AbstractOperator() : souffle::ram::AbstractOperator
• access() : souffle::LRUCache< T, size > , souffle::LRUCache< T, 0 > , souffle::LRUCache< T, 1 > , souffle::SymbolTable
• acquire() : souffle::Lock
• acquireLock() : souffle::SymbolTable
• add() : souffle::ast::analysis::Problem< Var > , souffle::ast::RecordType , souffle::ast::UnionType , souffle::SouffleProgram::tuple_insert< Tuple, N > , souffle::SouffleProgram::tuple_insert< Tuple, 1 >
• add_child() : souffle::InnerNode
• addAll() : souffle::SparseArray< T, BITS, merge_op, copy_op > , souffle::SparseBitMap< BITS >
• addArgument() : souffle::ast::Atom , souffle::ast::Term
• addAtomFrequency() : souffle::profile::Rule
• addAttribute() : souffle::ast::Relation
• addBaseComponent() : souffle::ast::Component
• addBindingDependency() : souffle::ast::BindingStore
• addClause() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver
• addClauseAtom() : souffle::ast::analysis::NormalisedClause
• addClauseBodyLiteral() : souffle::ast::analysis::NormalisedClause
• addCodeSection() : souffle::DebugReport
• addComponent() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver
• addConstraint() : souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
• addDeprecatedTag() : souffle::ParserDriver
• addDiagnostic() : souffle::ErrorReport
• addDirective() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver
• addEdge() : souffle::ram::analysis::MaxMatching
• addError() : souffle::ErrorReport
• addFunctorDeclaration() : souffle::ast::Program , souffle::ParserDriver
• addHistory() : souffle::profile::InputReader
• addHit() : souffle::CacheAccessCounter
• addInstantiation() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver
• addIoFromDeprecatedTag() : souffle::ParserDriver
• addIteration() : souffle::profile::Relation
• additionalMessages : souffle::Diagnostic
• addMiss() : souffle::CacheAccessCounter
• addNewTuple() : souffle::interpreter::NodeGenerator::OrderingContext
• addOverride() : souffle::ast::Component
• addParameter() : souffle::ast::Directive
• addPragma() : souffle::ast::Program , souffle::ParserDriver
• addQualifier() : souffle::ast::Relation
• addReads() : souffle::profile::Relation
• addRelation() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver , souffle::profile::Reader , souffle::SouffleProgram
• addRelevantVariables() : souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
• addReprTag() : souffle::ParserDriver
• addReturnValue() : souffle::interpreter::Context
• addRow() : souffle::profile::Table
• addRule() : souffle::profile::Iteration , souffle::profile::Relation
• addSearch() : souffle::ram::analysis::MinIndexSelection
• addSection() : souffle::DebugReport
• addTag() : souffle::ParserDriver
• addToBody() : souffle::ast::Clause
• addTupleWithDefaultOrder() : souffle::interpreter::NodeGenerator::OrderingContext
• addTupleWithIndexOrder() : souffle::interpreter::NodeGenerator::OrderingContext
• addType() : souffle::ast::Component , souffle::ast::Program , souffle::ParserDriver
• addVarReference() : souffle::ast2ram::ValueIndex
• addViewFreeOperationForFilter() : souffle::interpreter::ViewContext
• addViewInfoForFilter() : souffle::interpreter::ViewContext
• addViewInfoForNested() : souffle::interpreter::ViewContext
• addViewOperationForFilter() : souffle::interpreter::ViewContext
• addViewOperationForNested() : souffle::interpreter::ViewContext
• addWarning() : souffle::ErrorReport
• adornClause() : souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
• adorned_predicate : souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
• adornedClauses : souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
• Aggregate() : souffle::interpreter::Aggregate , souffle::ram::Aggregate
• Aggregator() : souffle::ast::Aggregator
• aggregatorType : souffle::ast::analysis::TypeAnalysis
• aggrScopeCount : souffle::ast::analysis::NormalisedClause
• AlgebraicDataType() : souffle::ast::AlgebraicDataType , souffle::ast::analysis::AlgebraicDataType
• alive : souffle::profile::Tui
• all : souffle::ast::analysis::TypeSet
• ALL : souffle::EquivalenceRelation< TupleType >::iterator
• AllBoundSips() : souffle::ast::AllBoundSips
• allocatedDataContainer : souffle::interpreter::Context
• allocateNewTuple() : souffle::interpreter::Context
• allocsize : souffle::PiggyList< T >
• allRelations : souffle::SouffleProgram
• analyse() : souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
• analyseAggregators() : souffle::ast::analysis::TypeAnalysis
• analyseBinaryConstraints() : souffle::ast::analysis::TypeAnalysis
• analyseIntrinsicFunctors() : souffle::ast::analysis::TypeAnalysis
• analyseNumericConstants() : souffle::ast::analysis::TypeAnalysis
• analyses : souffle::ast::TranslationUnit , souffle::ram::TranslationUnit
• analyseTypes() : souffle::ast::analysis::TypeAnalysis
• Analysis() : souffle::ast::analysis::Analysis , souffle::ram::analysis::Analysis
• analysisLogs : souffle::ast::analysis::TypeAnalysis
• annotatedClauses : souffle::ast::analysis::TypeAnalysis
• ANTERIOR : souffle::EquivalenceRelation< TupleType >::iterator
• anteriorIt() : souffle::EquivalenceRelation< TupleType >
• ANTPOST : souffle::EquivalenceRelation< TupleType >::iterator
• antpostit() : souffle::EquivalenceRelation< TupleType >
• any() : souffle::LRUCache< T, size > , souffle::LRUCache< T, 0 > , souffle::LRUCache< T, 1 >
• append() : souffle::ast::QualifiedName , souffle::PiggyList< T > , souffle::Table< T, blockSize >::Block
• appendTabCompletion() : souffle::profile::InputReader
• apply() : souffle::ast::Aggregator , souffle::ast::Atom , souffle::ast::BinaryConstraint , souffle::ast::Clause , souffle::ast::Component , souffle::ast::ComponentInit , souffle::ast::ExecutionPlan , souffle::ast::Negation , souffle::ast::Node , souffle::ast::Program , souffle::ast::Relation , souffle::ast::Term , souffle::ast::transform::Transformer , souffle::ast::TypeCast , souffle::ram::AbstractChoice , souffle::ram::AbstractConditional , souffle::ram::AbstractExistenceCheck , souffle::ram::AbstractLog , souffle::ram::AbstractOperator , souffle::ram::Aggregate , souffle::ram::Choice , souffle::ram::Conjunction , souffle::ram::Constraint , souffle::ram::DebugInfo , souffle::ram::Exit , souffle::ram::IndexAggregate , souffle::ram::IndexChoice , souffle::ram::IndexOperation , souffle::ram::ListStatement , souffle::ram::LogRelationTimer , souffle::ram::LogTimer , 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::SubroutineReturn , souffle::ram::transform::Transformer , souffle::ram::UnpackRecord
• applySubtransformer() : souffle::ast::transform::MetaTransformer
• aptr : souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell
• areBijectivelyEquivalent() : souffle::ast::transform::MinimiseProgramTransformer
• arg0_type : souffle::detail::lambda_traits_helper< R(A0)> , souffle::detail::lambda_traits_helper< R(A0, A1)>
• arg1_type : souffle::detail::lambda_traits_helper< R(A0, A1)>
• arg_generator_locations : souffle::ast2ram::ValueIndex
• args : souffle::ast::Term , souffle::interpreter::Context , souffle::profile::Cli , souffle::ram::NestedIntrinsicOperator
• argsToNums() : souffle::ExplainProvenance
• argsTypes : souffle::ast::FunctorDeclaration , souffle::ram::UserDefinedOperator
• argument : souffle::MainOption
• arguments : souffle::ast::Atom , souffle::ram::AbstractOperator , souffle::ram::PackRecord
• argumentTypes : souffle::ast::analysis::TypeAnalysis
• Arity : souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Relation< _Arity, Structure >
• arity : souffle::interpreter::RelationWrapper , souffle::ram::analysis::SearchSignature , souffle::ram::Relation , souffle::ram::UnpackRecord , souffle::RecordMap
• Arity : souffle::RelationWrapper< RelType >
• arity : souffle::SerialisationStream< readOnlyTables >
• Arity : souffle::t_info< Arity_ > , souffle::t_nullaries
• arity_type : souffle::ExplainProvenanceImpl , souffle::interpreter::RelationWrapper , souffle::Relation
• ARRAY : json11::Json
• array : json11::Json , souffle::tuple
• array_items() : json11::Json , json11::JsonArray , json11::JsonValue
• array_value_type : souffle::detail::brie::SparseArrayIter< SparseArray >
• asInnerNode() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• Assignment() : souffle::ast::analysis::Assignment< Var >
• assignment : souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
• AstToRamTranslator() : souffle::ast2ram::AstToRamTranslator
• asVec() : souffle::ast::Term
• Atom() : souffle::ast::Atom
• atom : souffle::ast::Negation
• Atom() : souffle::profile::Atom
• atom() : souffle::RuleBody , souffle::RuleBody::literal
• atomic_value_t : souffle::SparseBitMap< BITS >
• atomic_value_type : souffle::SparseArray< T, BITS, merge_op, copy_op >
• atoms : souffle::profile::Rule
• Attribute() : souffle::ast::Attribute , souffle::interpreter::Order , souffle::interpreter::Relation< _Arity, Structure >
• AttributeIndex : souffle::ram::analysis::MinIndexSelection
• attributeNames : souffle::ram::Relation
• AttributeOrder : souffle::interpreter::Order
• attributes : souffle::ast::Relation
• AttributeSet : souffle::interpreter::Relation< _Arity, Structure > , souffle::ram::analysis::MinIndexSelection
• attributeTypes : souffle::ram::Relation
• attrNames : souffle::interpreter::RelInterface , souffle::RelationWrapper< RelType >
• AttrStrSeq : souffle::RelationWrapper< RelType >
• attrTypes : souffle::RelationWrapper< RelType >
• auxArityAnalysis : souffle::ast2ram::AstToRamTranslator
• auxiliaryArity : souffle::interpreter::Relation< _Arity, Structure > , souffle::interpreter::RelationWrapper , souffle::ram::Relation , souffle::SerialisationStream< readOnlyTables >
• AuxiliaryArityAnalysis() : souffle::ast::analysis::AuxiliaryArityAnalysis
• avalue : souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell