- s -

• savetime : souffle::profile::Relation
• sccGraph : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis , souffle::ast::transform::SemanticCheckerImpl
• sccOrder : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
• sccToRelation : souffle::ast::analysis::SCCGraphAnalysis
• sds : souffle::EquivalenceRelation< TupleType >
• search : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
• searches : souffle::ram::analysis::MinIndexSelection
• second : souffle::interpreter::SuperInstruction , souffle::ram::BinRelationStatement
• sections : souffle::DebugReport
• seen : souffle::ast::analysis::VisitOnceTypeVisitor< R >
• selectStatement : souffle::ReadStreamSQLite
• sep : souffle::detail::joined_sequence< Iter, Printer >
• shadow : souffle::interpreter::Node
• shortName : souffle::MainOption
• signatureToIndexA : souffle::ram::analysis::MinIndexSelection
• signatureToIndexB : souffle::ram::analysis::MinIndexSelection
• sinks : souffle::ast::analysis::TypeConstraintsAnalysis
• sips : souffle::ast2ram::AstToRamTranslator
• size : souffle::Logger , souffle::TreeNode , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, S > , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, dynamic_extent >
• sl : souffle::PiggyList< T >
• slock : souffle::RandomInsertPiggyList< T >
• sortColumn : souffle::profile::Tui
• sparseToDenseMap : souffle::SparseDisjointSet< SparseDomain >
• src : souffle::CmdOptions , souffle::interpreter::BinRelOperation
• start : souffle::Logger , souffle::SrcLocation
• startMaxRSS : souffle::Logger
• starttime : souffle::profile::Iteration
• startTime : souffle::profile::ProgramRun
• starttime : souffle::profile::Relation , souffle::profile::Rule
• stateful : souffle::ast::FunctorDeclaration , souffle::ram::UserDefinedOperator
• statement : souffle::ram::AbstractLog
• statements : souffle::ram::ListStatement
• statesLock : souffle::EquivalenceRelation< TupleType >
• statesMapStale : souffle::EquivalenceRelation< TupleType >
• storage_ : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• store : souffle::detail::brie::TrieBase< Dim, Derived > , souffle::SparseBitMap< BITS >
• stronglyBoundVariables : souffle::ast::BindingStore
• strToNum : souffle::SymbolTable
• subproofs : souffle::ExplainProvenanceImpl
• subroutine : souffle::interpreter::Engine
• subroutineId : souffle::interpreter::Call
• subroutines : souffle::ram::Program
• subsections : souffle::DebugReportSection
• success : TestCase::test_result
• successors : souffle::ast::analysis::SCCGraphAnalysis
• summary : souffle::WriteStream
• sumTypesBranches : souffle::ast::analysis::TypeConstraintsAnalysis , souffle::ast::transform::SemanticCheckerImpl
• superInst : souffle::interpreter::SuperOperation
• symbol : souffle::Equivalence , souffle::IntrinsicFunctorInfo
• symbolInsertStatement : souffle::WriteStreamSQLite
• symbolSelectStatement : souffle::WriteStreamSQLite
• symbolTable : souffle::ram::TranslationUnit , souffle::SerialisationStream< readOnlyTables >
• symbolTableName : souffle::WriteStreamSQLite
• symTable : souffle::ExplainProvenance , souffle::interpreter::ProgInterface , souffle::interpreter::RelInterface
• synced : souffle::SparseArray< T, BITS, merge_op, copy_op >
• systemtime : souffle::profile::Tui::Usage