Here is a list of all struct and union fields with links to the structures/unions they belong to:
- c -
- C_T()
: souffle::profile::DataComparator
- CacheAccessCounter()
: souffle::CacheAccessCounter
- Call()
: souffle::interpreter::Call
, souffle::ram::Call
- cAnteriorIndex
: souffle::EquivalenceRelation< TupleType >::iterator
- card()
: souffle::ram::analysis::MinIndexSelection
- castView()
: souffle::interpreter::Relation< _Arity, Structure >
- Cell()
: souffle::profile::Cell< T >
, souffle::profile::Cell< double >
, souffle::profile::Cell< long >
, souffle::profile::Cell< std::chrono::microseconds >
, souffle::profile::Cell< void >
- cell
: souffle::SparseArray< T, BITS, merge_op, copy_op >::Node
- cells
: souffle::profile::Row
- Chain
: souffle::ram::analysis::MinIndexSelection
- ChainOrderMap
: souffle::ram::analysis::MinIndexSelection
- chainToOrder
: souffle::ram::analysis::MinIndexSelection
- check()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- checkADT()
: souffle::ast::transform::TypeDeclarationChecker
- checkAggregator()
: souffle::ast::transform::SemanticCheckerImpl
- checkArgument()
: souffle::ast::transform::SemanticCheckerImpl
- checkAtom()
: souffle::ast::transform::SemanticCheckerImpl
- checkBranchInits()
: souffle::ast::transform::SemanticCheckerImpl
- checkClause()
: souffle::ast::transform::SemanticCheckerImpl
- checkComplexRule()
: souffle::ast::transform::SemanticCheckerImpl
- checkComponent()
: souffle::ast::transform::ComponentChecker
- checkComponentInit()
: souffle::ast::transform::ComponentChecker
- checkComponentNameReference()
: souffle::ast::transform::ComponentChecker
- checkComponentNamespaces()
: souffle::ast::transform::ComponentChecker
- checkComponentReference()
: souffle::ast::transform::ComponentChecker
- checkComponents()
: souffle::ast::transform::ComponentChecker
- checkConstant()
: souffle::ast::transform::SemanticCheckerImpl
- checkFact()
: souffle::ast::transform::SemanticCheckerImpl
- checkInlining()
: souffle::ast::transform::SemanticCheckerImpl
- checkIO()
: souffle::ast::transform::SemanticCheckerImpl
- checkLiteral()
: souffle::ast::transform::SemanticCheckerImpl
- checkNamespaces()
: souffle::ast::transform::SemanticCheckerImpl
- checkRecordType()
: souffle::ast::transform::TypeDeclarationChecker
- checkRelation()
: souffle::ast::transform::SemanticCheckerImpl
- checkRelationDeclaration()
: souffle::ast::transform::SemanticCheckerImpl
- checkSubsetType()
: souffle::ast::transform::TypeDeclarationChecker
- checkTableExists()
: souffle::ReadStreamSQLite
- checkUnionType()
: souffle::ast::transform::TypeDeclarationChecker
- checkWitnessProblem()
: souffle::ast::transform::SemanticCheckerImpl
- child
: souffle::interpreter::UnaryNode
- children
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::inner_node
, souffle::InnerNode
, souffle::interpreter::CompoundNode
- Choice()
: souffle::interpreter::Choice
, souffle::ram::Choice
- chunk
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- cIndex
: souffle::PiggyList< T >::iterator
- Clause()
: souffle::ast::Clause
- clause
: souffle::RuleBody
- clauseElements
: souffle::ast::analysis::NormalisedClause
- ClauseNormalisationAnalysis()
: souffle::ast::analysis::ClauseNormalisationAnalysis
- clauses
: souffle::ast::Component
, souffle::ast::Program
- ClauseTranslator()
: souffle::ast2ram::ClauseTranslator
- clean()
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- cleanRelationName()
: souffle::profile::Reader
- clear()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::btree_operation_hints< size >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::DisjointSet
, souffle::EquivalenceRelation< TupleType >
, souffle::EquivalenceRelation< TupleType >::operation_hints
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::LRUCache< T, size >
, souffle::LRUCache< T, 0 >
, souffle::LRUCache< T, 1 >
, souffle::PiggyList< T >
- Clear()
: souffle::ram::Clear
- clear()
: souffle::RandomInsertPiggyList< T >
, souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
, souffle::SparseDisjointSet< SparseDomain >
, souffle::Table< T, blockSize >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- clearComponents()
: souffle::ast::Program
- clearExecutionPlan()
: souffle::ast::Clause
- clearHistory()
: souffle::profile::InputReader
- clearPrompt()
: souffle::profile::InputReader
- clearTabCompletion()
: souffle::profile::InputReader
- Cli()
: souffle::profile::Cli
- clique()
: souffle::Graph< Vertex, Compare >
- clone()
: souffle::ast::Aggregator
, souffle::ast::AlgebraicDataType
, souffle::ast::Argument
, souffle::ast::Atom
, souffle::ast::Attribute
, souffle::ast::BinaryConstraint
, souffle::ast::BooleanConstraint
, souffle::ast::BranchDeclaration
, souffle::ast::BranchInit
, souffle::ast::Clause
, souffle::ast::Component
, souffle::ast::ComponentInit
, souffle::ast::ComponentType
, souffle::ast::Constant
, souffle::ast::Constraint
, souffle::ast::Counter
, souffle::ast::Directive
, souffle::ast::ExecutionOrder
, souffle::ast::ExecutionPlan
, souffle::ast::Functor
, souffle::ast::FunctorDeclaration
, souffle::ast::IntrinsicFunctor
, souffle::ast::Literal
, souffle::ast::Negation
, souffle::ast::NilConstant
, souffle::ast::Node
, souffle::ast::NumericConstant
, souffle::ast::Pragma
, souffle::ast::Program
, souffle::ast::ProvenanceNegation
, souffle::ast::RecordInit
, souffle::ast::RecordType
, souffle::ast::Relation
, souffle::ast::StringConstant
, souffle::ast::SubroutineArgument
, souffle::ast::SubsetType
, souffle::ast::transform::AddNullariesToAtomlessAggregatesTransformer
, souffle::ast::transform::ComponentChecker
, souffle::ast::transform::ComponentInstantiationTransformer
, souffle::ast::transform::ConditionalTransformer
, souffle::ast::transform::DebugReporter
, souffle::ast::transform::ExecutionPlanChecker
, souffle::ast::transform::FixpointTransformer
, souffle::ast::transform::FoldAnonymousRecords
, souffle::ast::transform::GroundedTermsChecker
, souffle::ast::transform::GroundWitnessesTransformer
, souffle::ast::transform::InlineRelationsTransformer
, souffle::ast::transform::IOAttributesTransformer
, souffle::ast::transform::IODefaultsTransformer
, souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer
, souffle::ast::transform::MagicSetTransformer
, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer
, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::NegativeLabellingTransformer
, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer
, souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
, souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
, souffle::ast::transform::MaterializeAggregationQueriesTransformer
, souffle::ast::transform::MaterializeSingletonAggregationTransformer
, souffle::ast::transform::MetaTransformer
, souffle::ast::transform::MinimiseProgramTransformer
, souffle::ast::transform::NameUnnamedVariablesTransformer
, souffle::ast::transform::NormaliseMultiResultFunctorsTransformer
, souffle::ast::transform::NullTransformer
, souffle::ast::transform::PartitionBodyLiteralsTransformer
, souffle::ast::transform::PipelineTransformer
, souffle::ast::transform::PragmaChecker
, souffle::ast::transform::ProvenanceTransformer
, souffle::ast::transform::ReduceExistentialsTransformer
, souffle::ast::transform::RemoveBooleanConstraintsTransformer
, souffle::ast::transform::RemoveEmptyRelationsTransformer
, souffle::ast::transform::RemoveRedundantRelationsTransformer
, souffle::ast::transform::RemoveRedundantSumsTransformer
, souffle::ast::transform::RemoveRelationCopiesTransformer
, souffle::ast::transform::ReorderLiteralsTransformer
, souffle::ast::transform::ReplaceSingletonVariablesTransformer
, souffle::ast::transform::ResolveAliasesTransformer
, souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer
, souffle::ast::transform::SemanticChecker
, souffle::ast::transform::SimplifyAggregateTargetExpressionTransformer
, souffle::ast::transform::Transformer
, souffle::ast::transform::TypeChecker
, souffle::ast::transform::UniqueAggregationVariablesTransformer
, souffle::ast::transform::WhileTransformer
, souffle::ast::Type
, souffle::ast::TypeCast
, souffle::ast::UnionType
, souffle::ast::UnnamedVariable
, souffle::ast::UserDefinedFunctor
, souffle::ast::Variable
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
, souffle::interpreter::Relation< _Arity, Structure >::iterator_base
, souffle::interpreter::RelationWrapper::iterator_base
, souffle::interpreter::RelInterface::iterator_base
, souffle::ram::AbstractConditional
, souffle::ram::Aggregate
, souffle::ram::AutoIncrement
, souffle::ram::Break
, souffle::ram::Call
, souffle::ram::Choice
, souffle::ram::Clear
, souffle::ram::Condition
, souffle::ram::Conjunction
, souffle::ram::Constraint
, souffle::ram::DebugInfo
, souffle::ram::EmptinessCheck
, souffle::ram::ExistenceCheck
, souffle::ram::Exit
, souffle::ram::Expression
, souffle::ram::Extend
, souffle::ram::False
, souffle::ram::Filter
, souffle::ram::FloatConstant
, souffle::ram::IndexAggregate
, souffle::ram::IndexChoice
, souffle::ram::IndexOperation
, souffle::ram::IndexScan
, souffle::ram::IntrinsicOperator
, souffle::ram::IO
, souffle::ram::LogRelationTimer
, souffle::ram::LogSize
, souffle::ram::LogTimer
, souffle::ram::Loop
, souffle::ram::Negation
, souffle::ram::NestedIntrinsicOperator
, souffle::ram::NestedOperation
, souffle::ram::Node
, souffle::ram::Operation
, souffle::ram::PackRecord
, souffle::ram::Parallel
, souffle::ram::ParallelAggregate
, souffle::ram::ParallelChoice
, souffle::ram::ParallelIndexAggregate
, souffle::ram::ParallelIndexChoice
, souffle::ram::ParallelIndexScan
, souffle::ram::ParallelScan
, souffle::ram::Program
, souffle::ram::Project
, souffle::ram::ProvenanceExistenceCheck
, souffle::ram::Query
, souffle::ram::Relation
, souffle::ram::RelationOperation
, souffle::ram::RelationSize
, souffle::ram::Scan
, souffle::ram::Sequence
, souffle::ram::SignedConstant
, souffle::ram::Statement
, souffle::ram::SubroutineArgument
, souffle::ram::SubroutineReturn
, souffle::ram::Swap
, souffle::ram::True
, souffle::ram::TupleElement
, souffle::ram::TupleOperation
, souffle::ram::UndefValue
, souffle::ram::UnpackRecord
, souffle::ram::UnsignedConstant
, souffle::ram::UserDefinedOperator
, souffle::Relation::iterator_base
, souffle::RelationWrapper< RelType >::iterator_wrapper
, souffle::RuleBody::literal
, souffle::SparseArray< T, BITS, merge_op, copy_op >
- close()
: souffle::gzfstream::internal::gzfstream
, souffle::gzfstream::internal::gzfstreambuf
- closure()
: souffle::EquivalenceRelation< TupleType >
- CmdOptions()
: souffle::CmdOptions
- collapseFilters()
: souffle::ram::transform::CollapseFiltersTransformer
- collectChunks()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- collectConstraints()
: souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
, souffle::ast::analysis::TypeConstraintsAnalysis
- column
: souffle::SrcLocation::Point
- comp
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- comparator
: souffle::interpreter::index< Columns >
- ComplexityAnalysis()
: souffle::ram::analysis::ComplexityAnalysis
- ComponentInit()
: souffle::ast::ComponentInit
- ComponentLookupAnalysis()
: souffle::ast::analysis::ComponentLookupAnalysis
- components
: souffle::ast::Component
, souffle::ast::Program
- componentType
: souffle::ast::Component
, souffle::ast::ComponentInit
- ComponentType()
: souffle::ast::ComponentType
- CompoundNode()
: souffle::interpreter::CompoundNode
- computeArity()
: souffle::ast::analysis::AuxiliaryArityAnalysis
- computed()
: souffle::ast::analysis::RelationScheduleAnalysisStep
- computedIndices
: souffle::synthesiser::Relation
- computedRelations
: souffle::ast::analysis::RelationScheduleAnalysisStep
- computeIndices()
: souffle::synthesiser::BrieRelation
, souffle::synthesiser::DirectRelation
, souffle::synthesiser::EqrelRelation
, souffle::synthesiser::IndirectRelation
, souffle::synthesiser::InfoRelation
, souffle::synthesiser::NullaryRelation
, souffle::synthesiser::Relation
- computeIsRecursive()
: souffle::ast::analysis::RecursiveClausesAnalysis
- computeRelationExpirySchedule()
: souffle::ast::analysis::RelationScheduleAnalysis
- computeTopologicalOrdering()
: souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
- cond
: souffle::interpreter::ConditionalOperation
- condition
: souffle::ast::transform::ConditionalTransformer
, souffle::ast::transform::WhileTransformer
, souffle::ram::AbstractAggregate
, souffle::ram::AbstractChoice
, souffle::ram::AbstractConditional
, souffle::ram::Exit
- ConditionalOperation()
: souffle::interpreter::ConditionalOperation
- ConditionalTransformer()
: souffle::ast::transform::ConditionalTransformer
, souffle::ram::transform::ConditionalTransformer
- conditionVariable
: souffle::ProfileEventSingleton::ProfileTimer
- config()
: souffle::Global
- ConfigProcessor()
: souffle::profile::ConfigProcessor
- ConjBindingSet
: souffle::ast::BindingStore
- conjunct()
: souffle::RuleBody
- Conjunction()
: souffle::ram::Conjunction
- const_entry_span_type
: souffle::detail::brie::fix_lower_bound< Dim >
, souffle::detail::brie::fix_upper_bound< Dim >
, souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::detail::brie::TrieTypes< Dim >
, souffle::detail::brie::TrieTypes< 1u >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- const_iterator
: souffle::ast::analysis::TypeSet
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- const_pointer
: TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- const_reference
: TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
- Constant()
: souffle::ast::Constant
- constant
: souffle::ast::Constant
- Constant()
: souffle::ram::Constant
- constant
: souffle::ram::Constant
- constantNumericTypes
: souffle::ast::analysis::TypeEnvironment
- constants
: souffle::ast::analysis::NormalisedClause
- ConstantType()
: souffle::ast::analysis::ConstantType
- constantTypes
: souffle::ast::analysis::TypeEnvironment
- ConstConstraint()
: souffle::ConstConstraint
- constConstrs
: souffle::ConstConstraint
- constraint
: souffle::ast::analysis::Problem< Var >
- Constraint()
: souffle::ram::Constraint
- constraint()
: souffle::RuleBody
- constraint_ptr
: souffle::ast::analysis::Problem< Var >
- constraint_type
: souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
- ConstraintAnalysisVar()
: souffle::ast::analysis::ConstraintAnalysisVar< PropertySpace >
- constraintList
: souffle::ExplainProvenanceImpl
- constraints
: souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
, souffle::ast::analysis::Problem< Var >
, souffle::ram::analysis::SearchSignature
- constraintType
: souffle::ast::analysis::TypeAnalysis
- constructor
: souffle::ast::BranchDeclaration
, souffle::ast::BranchInit
- constructPattern()
: souffle::ram::transform::MakeIndexTransformer
- constructTuple()
: souffle::interpreter::Relation< _Arity, Structure >
- consumeChar()
: souffle::ReadStream
- consumeWhiteSpace()
: souffle::ReadStream
- container_size
: souffle::PiggyList< T >
- contains()
: souffle::ast::analysis::TypeSet
, souffle::detail::brie::TrieBase< Dim, Derived >::hint_statistics
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
, souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::hint_statistics
, souffle::EquivalenceRelation< TupleType >
, souffle::Graph< Vertex, Compare >
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< _Arity, Structure >::View
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Index< 0, Structure >::View
, souffle::interpreter::Relation< _Arity, Structure >
, souffle::interpreter::RelationWrapper
, souffle::interpreter::RelInterface
, souffle::Relation
, souffle::RelationWrapper< RelType >
, souffle::SouffleProgram
, souffle::SparseDisjointSet< SparseDomain >
, souffle::SymbolTable
, souffle::t_info< Arity_ >
, souffle::t_nullaries
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- containsElement()
: souffle::EquivalenceRelation< TupleType >
- containsEquality()
: souffle::ram::analysis::SearchSignature
- containsTuple()
: souffle::ExplainProvenanceImpl
- containsValidRecordConstraint()
: souffle::ast::transform::FoldAnonymousRecords
- Context()
: souffle::interpreter::Context
- convertIndexScans()
: souffle::ram::transform::IfConversionTransformer
- convertRamIdent()
: souffle::synthesiser::Synthesiser
- convertScans()
: souffle::ram::transform::ChoiceConversionTransformer
- copyBaseComponents()
: souffle::ast::Component
- copytime
: souffle::profile::Iteration
- count
: souffle::Table< T, blockSize >
- countEntries()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- counter
: souffle::interpreter::Engine
- countNodes()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node
- covers()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- coversUpperBound()
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
- cPair
: souffle::EquivalenceRelation< TupleType >::iterator
- cPosteriorIndex
: souffle::EquivalenceRelation< TupleType >::iterator
- create()
: souffle::ast::SipsMetric
, souffle::interpreter::Order
- createAnnotatedClause()
: souffle::ast::analysis::TypeAnalysis
- createCondition()
: souffle::ast2ram::ClauseTranslator
, souffle::ast2ram::ProvenanceClauseTranslator
- createContext()
: souffle::t_info< Arity_ >
, souffle::t_nullaries
- createId()
: souffle::profile::Reader
- createID()
: souffle::profile::Relation
- createMagicAtom()
: souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
- createMagicClause()
: souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
- createNode()
: souffle::PiggyList< T >
- createOperation()
: souffle::ast2ram::ClauseTranslator
, souffle::ast2ram::ProvenanceClauseTranslator
- createRecID()
: souffle::profile::Relation
- createRelation()
: souffle::interpreter::Engine
- createRelationTable()
: souffle::WriteStreamSQLite
- createRelationView()
: souffle::WriteStreamSQLite
- createSymbolTable()
: souffle::WriteStreamSQLite
- createTables()
: souffle::WriteStreamSQLite
- createType()
: souffle::ast::analysis::TypeEnvironment
, souffle::ast::analysis::TypeEnvironmentAnalysis
- createValueIndex()
: souffle::ast2ram::ClauseTranslator
- createView()
: souffle::interpreter::Context
, souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
, souffle::interpreter::RelationWrapper
- cRecursiveRelation()
: souffle::LogStatement
- cur
: souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator
- current_char
: souffle::profile::InputReader
- current_hist_val
: souffle::profile::InputReader
- current_tab_completes
: souffle::profile::InputReader
- current_tab_val
: souffle::profile::InputReader
- currentSubsections
: souffle::DebugReport
- cursor_pos
: souffle::profile::InputReader
- cyclicTypes
: souffle::ast::analysis::TypeEnvironmentAnalysis