- t -

• t : json11::Statics , souffle::ProfileEventSingleton::ProfileTimer , souffle::RelationWrapper< RelType >::iterator_wrapper
• tab_completion : souffle::profile::InputReader
• tab_pos : souffle::profile::InputReader
• tail : souffle::Table< T, blockSize >
• takesMany : souffle::MainOption
• target : souffle::interpreter::BinRelOperation
• targetExpression : souffle::ast::Aggregator
• tempRelation : souffle::interpreter::ExistenceCheck
• test : TestCase
• th : souffle::ProfileEventSingleton::ProfileTimer
• time : souffle::profile::Tui::Usage
• timer : souffle::ProfileEventSingleton
• timerMutex : souffle::ProfileEventSingleton::ProfileTimer
• times : souffle::detail::multiplying_printer< T >
• title : souffle::DebugReportSection
• topsortSCCGraphAnalysis : souffle::ast::analysis::RelationScheduleAnalysis
• totalSearch : souffle::interpreter::ExistenceCheck
• trace_scanning : souffle::ParserDriver
• transformer : souffle::ast::transform::ConditionalTransformer , souffle::ast::transform::FixpointTransformer , souffle::ast::transform::WhileTransformer
• transformers : souffle::ram::transform::TransformerSequence
• translationUnit : souffle::ParserDriver , souffle::synthesiser::Synthesiser
• translator : souffle::ast2ram::ClauseTranslator
• truthValue : souffle::ast::BooleanConstraint
• tu : souffle::ast::analysis::TypeConstraintsAnalysis , souffle::ast::transform::SemanticCheckerImpl , souffle::ast::transform::TypeCheckerImpl , souffle::ast::transform::TypeDeclarationChecker
• tUnit : souffle::interpreter::Engine
• tup : souffle::interpreter::RelInterface::iterator_base
• tupleFirst : souffle::interpreter::SuperInstruction
• tupleId : souffle::interpreter::TupleElement
• tupleOrders : souffle::interpreter::NodeGenerator::OrderingContext
• tupleSecond : souffle::interpreter::SuperInstruction
• tuplesRead : souffle::profile::Relation
• txt : souffle::TreeNode
• type : souffle::ast::Directive , souffle::ast::TypeCast , souffle::Diagnostic , souffle::Equivalence , souffle::interpreter::Node
• typeAnalysis : souffle::ast::analysis::FunctorAnalysis , souffle::ast::analysis::PolymorphicObjectsAnalysis , souffle::ast::analysis::TypeConstraintsAnalysis , souffle::ast::transform::TypeCheckerImpl
• typeAttributes : souffle::SerialisationStream< readOnlyTables >
• typeCache : souffle::synthesiser::Synthesiser
• 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
• 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::interpreter::RelInterface , souffle::SerialisationStream< readOnlyTables >