- a -

• 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 >
• 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
• 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
• Aggregate() : souffle::interpreter::Aggregate , souffle::ram::Aggregate
• Aggregator() : souffle::ast::Aggregator
• AlgebraicDataType() : souffle::ast::AlgebraicDataType , souffle::ast::analysis::AlgebraicDataType
• AllBoundSips() : souffle::ast::AllBoundSips
• allocateNewTuple() : souffle::interpreter::Context
• 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
• analyseTypes() : souffle::ast::analysis::TypeAnalysis
• Analysis() : souffle::ast::analysis::Analysis , souffle::ram::analysis::Analysis
• anteriorIt() : souffle::EquivalenceRelation< TupleType >
• 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
• areBijectivelyEquivalent() : souffle::ast::transform::MinimiseProgramTransformer
• argsToNums() : souffle::ExplainProvenance
• arity() : souffle::ram::analysis::SearchSignature
• array_items() : json11::Json , json11::JsonArray , json11::JsonValue
• asInnerNode() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
• Assignment() : souffle::ast::analysis::Assignment< Var >
• AstToRamTranslator() : souffle::ast2ram::AstToRamTranslator
• asVec() : souffle::ast::Term
• Atom() : souffle::ast::Atom , souffle::profile::Atom
• atom() : souffle::RuleBody
• Attribute() : souffle::ast::Attribute
• AuxiliaryArityAnalysis() : souffle::ast::analysis::AuxiliaryArityAnalysis