Here is a list of all struct and union fields with links to the structures/unions they belong to:
- t -
- t
: json11::Statics
, souffle::ProfileEventSingleton::ProfileTimer
, souffle::RelationWrapper< RelType >::iterator_wrapper
- t_info()
: souffle::t_info< Arity_ >
- t_nullaries()
: souffle::t_nullaries
- t_tuple
: souffle::t_info< Arity_ >
, souffle::t_nullaries
- tab_completion
: souffle::profile::InputReader
- tab_pos
: souffle::profile::InputReader
- tabComplete()
: souffle::profile::InputReader
- Table()
: souffle::profile::Table
, souffle::Table< T, blockSize >
- tail
: souffle::Table< T, blockSize >
- takesMany
: souffle::MainOption
- target
: souffle::interpreter::BinRelOperation
- targetExpression
: souffle::ast::Aggregator
- TempFileStream()
: souffle::TempFileStream
- tempRelation
: souffle::interpreter::ExistenceCheck
- Term()
: souffle::ast::Term
- test()
: souffle::SparseBitMap< BITS >
, TestCase
- test_result()
: TestCase::test_result
- TestAutoIndex()
: souffle::ram::TestAutoIndex
- TestCase()
: TestCase
- TestMaxMatching()
: souffle::ram::analysis::test::TestMaxMatching
- TextProcessor()
: souffle::profile::TextProcessor
- th
: souffle::ProfileEventSingleton::ProfileTimer
- this_t
: souffle::SparseArray< T, BITS, merge_op, copy_op >
, souffle::SparseBitMap< BITS >
- throwError()
: souffle::ReadStreamSQLite
, souffle::WriteStreamSQLite
- TIME()
: souffle::profile::DataComparator
- time
: souffle::profile::Tui::Usage
- timer
: souffle::ProfileEventSingleton
- timerMutex
: souffle::ProfileEventSingleton::ProfileTimer
- times
: souffle::detail::multiplying_printer< T >
- tinyformat_wchar_is_not_supported
: tinyformat::detail::is_wchar< T >
- title
: souffle::DebugReportSection
- tNonrecursiveRelation()
: souffle::LogStatement
- tNonrecursiveRule()
: souffle::LogStatement
- toClauseBodies()
: souffle::RuleBody
- toDense()
: souffle::SparseDisjointSet< SparseDomain >
- toInt()
: tinyformat::detail::FormatArg
- toIntImpl()
: tinyformat::detail::FormatArg
- toMask()
: souffle::SparseBitMap< BITS >
- TopologicallySortedSCCGraphAnalysis()
: souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
- topologicalOrderingCost()
: souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
- topsortSCCGraphAnalysis
: souffle::ast::analysis::RelationScheduleAnalysis
- toSparse()
: souffle::SparseDisjointSet< SparseDomain >
- toString()
: souffle::ast::QualifiedName
, souffle::profile::Cell< double >
, souffle::profile::Cell< long >
, souffle::profile::Cell< std::chrono::microseconds >
, souffle::profile::Cell< void >
, souffle::profile::CellInterface
, souffle::profile::Iteration
, souffle::profile::ProgramRun
, souffle::profile::Relation
, souffle::profile::Rule
- totalSearch
: souffle::interpreter::ExistenceCheck
- trace_scanning
: souffle::ParserDriver
- transform()
: 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::LabelDatabaseTransformer::NegativeLabellingTransformer
, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer
, souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer
, souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer
, souffle::ast::transform::MagicSetTransformer
, souffle::ast::transform::MaterializeAggregationQueriesTransformer
, souffle::ast::transform::MaterializeSingletonAggregationTransformer
, 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::ram::transform::ChoiceConversionTransformer
, souffle::ram::transform::CollapseFiltersTransformer
, souffle::ram::transform::ConditionalTransformer
, souffle::ram::transform::EliminateDuplicatesTransformer
, souffle::ram::transform::ExpandFilterTransformer
, souffle::ram::transform::HoistAggregateTransformer
, souffle::ram::transform::HoistConditionsTransformer
, souffle::ram::transform::IfConversionTransformer
, souffle::ram::transform::IndexedInequalityTransformer
, souffle::ram::transform::LoopTransformer
, souffle::ram::transform::MakeIndexTransformer
, souffle::ram::transform::ParallelTransformer
, souffle::ram::transform::ReorderConditionsTransformer
, souffle::ram::transform::ReorderFilterBreak
, souffle::ram::transform::ReportIndexTransformer
, souffle::ram::transform::Transformer
, souffle::ram::transform::TransformerSequence
, souffle::ram::transform::TupleIdTransformer
- transformClause()
: souffle::ast::transform::FoldAnonymousRecords
- transformer
: souffle::ast::transform::ConditionalTransformer
, souffle::ast::transform::FixpointTransformer
, souffle::ast::transform::WhileTransformer
- transformers
: souffle::ram::transform::TransformerSequence
- TransformerSequence()
: souffle::ram::transform::TransformerSequence
- transformIndexToFilter()
: souffle::ram::transform::IndexedInequalityTransformer
- transformMaxHeight()
: souffle::ast::transform::ProvenanceTransformer
- translateClause()
: souffle::ast2ram::ClauseTranslator
- translateConstant()
: souffle::ast2ram::AstToRamTranslator
- translateConstraint()
: souffle::ast2ram::AstToRamTranslator
- translateDeltaRelation()
: souffle::ast2ram::AstToRamTranslator
- translateNewRelation()
: souffle::ast2ram::AstToRamTranslator
- translateNonRecursiveRelation()
: souffle::ast2ram::AstToRamTranslator
- translateProgram()
: souffle::ast2ram::AstToRamTranslator
- translateRecursiveRelation()
: souffle::ast2ram::AstToRamTranslator
- translateRelation()
: souffle::ast2ram::AstToRamTranslator
- translateUnit()
: souffle::ast2ram::AstToRamTranslator
- translateValue()
: souffle::ast2ram::AstToRamTranslator
- TranslationUnit()
: souffle::ast::TranslationUnit
- translationUnit
: souffle::ParserDriver
- TranslationUnit()
: souffle::ram::TranslationUnit
- translationUnit
: souffle::synthesiser::Synthesiser
- translator
: souffle::ast2ram::ClauseTranslator
- tRecursiveRelation()
: souffle::LogStatement
- tRecursiveRule()
: souffle::LogStatement
- TreeNode()
: souffle::TreeNode
- tRelationLoadTime()
: souffle::LogStatement
- tRelationSaveTime()
: souffle::LogStatement
- Trie
: souffle::Trie< Dim >
- TrieIterator
: souffle::detail::brie::TrieIterator< Value, IterCore >
- truthValue
: souffle::ast::BooleanConstraint
- try_lock()
: souffle::Lock
, souffle::SpinLock
- try_start_write()
: souffle::OptimisticReadWriteLock
- try_upgrade_to_write()
: souffle::OptimisticReadWriteLock
, souffle::ReadWriteLock
- try_write()
: souffle::ReadWriteLock
- tryConvert()
: tinyformat::detail::is_convertible< T1, T2 >
- tryUpdateFirstInfo()
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- tryUpdateRootInfo()
: souffle::SparseArray< T, BITS, merge_op, copy_op >
- tu
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::SemanticCheckerImpl
, souffle::ast::transform::TypeCheckerImpl
, souffle::ast::transform::TypeDeclarationChecker
- Tui()
: souffle::profile::Tui
- tUnit
: souffle::interpreter::Engine
- tup
: souffle::interpreter::RelInterface::iterator_base
- TUP()
: souffle::profile::DataComparator
- Tuple
: souffle::interpreter::Index< _Arity, Structure >
, souffle::interpreter::Index< 0, Structure >
, souffle::interpreter::Relation< _Arity, Structure >
- tuple()
: souffle::tuple
- TupleElement()
: souffle::interpreter::TupleElement
, souffle::ram::TupleElement
- tupleFirst
: souffle::interpreter::SuperInstruction
- tupleId
: souffle::interpreter::TupleElement
- TupleOperation()
: souffle::ram::TupleOperation
- tupleOrders
: souffle::interpreter::NodeGenerator::OrderingContext
- tupleSecond
: souffle::interpreter::SuperInstruction
- tuplesRead
: souffle::profile::Relation
- TupleType
: souffle::RelationWrapper< RelType >
- txt
: souffle::TreeNode
- type()
: json11::Json
- Type
: json11::Json
- type()
: json11::JsonValue
, json11::Value< tag, T >
- Type()
: souffle::ast::analysis::Type
- type
: souffle::ast::Directive
- Type
: souffle::ast::NumericConstant
, souffle::ast::Type
- type
: souffle::ast::TypeCast
, souffle::detail::strategy_selection< S >
- Type
: souffle::Diagnostic
- type
: souffle::Diagnostic
, souffle::Equivalence
, souffle::interpreter::index_utils::extend< index< Columns... >, Col >
, souffle::interpreter::index_utils::get_full_index< arity >
, souffle::interpreter::index_utils::get_full_index< 0 >
, souffle::interpreter::Node
- typeAnalysis
: souffle::ast::analysis::FunctorAnalysis
, souffle::ast::analysis::PolymorphicObjectsAnalysis
- TypeAnalysis()
: souffle::ast::analysis::TypeAnalysis
- typeAnalysis
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- typeAttributes
: souffle::SerialisationStream< readOnlyTables >
- typeCache
: souffle::synthesiser::Synthesiser
- TypeCast()
: souffle::ast::TypeCast
- TypeCheckerImpl()
: souffle::ast::transform::TypeCheckerImpl
- TypeConstraintsAnalysis()
: souffle::ast::analysis::TypeConstraintsAnalysis
- TypeDeclarationChecker()
: souffle::ast::transform::TypeDeclarationChecker
- typeEnv
: souffle::ast2ram::AstToRamTranslator
, souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::SemanticCheckerImpl
, souffle::ast::transform::TypeCheckerImpl
, souffle::ast::transform::TypeDeclarationChecker
- typeEnvAnalysis
: souffle::ast::transform::TypeDeclarationChecker
- TypeEnvironment
: souffle::ast::analysis::AlgebraicDataType
, souffle::ast::analysis::ConstantType
, souffle::ast::analysis::PrimitiveType
, souffle::ast::analysis::RecordType
, souffle::ast::analysis::SubsetType
, souffle::ast::analysis::TypeEnvironment
, souffle::ast::analysis::UnionType
- TypeEnvironmentAnalysis()
: souffle::ast::analysis::TypeEnvironmentAnalysis
- typeName
: souffle::ast::Attribute
- typeParams
: souffle::ast::ComponentType
- types
: souffle::ast::analysis::AlgebraicDataType::Branch
, souffle::ast::analysis::TypeEnvironment
, souffle::ast::analysis::TypeSet
, souffle::ast::Component
, souffle::ast::Program
, souffle::ast::UnionType
, souffle::detail::brie::fix_lower_bound< Dim >
, souffle::detail::brie::fix_upper_bound< Dim >
, souffle::detail::brie::TrieBase< Dim, Derived >
, souffle::interpreter::RelInterface
, souffle::SerialisationStream< readOnlyTables >
, souffle::Trie< Dim >
, souffle::Trie< 1u >
- TypeSet()
: souffle::ast::analysis::TypeSet