Here is a list of all struct and union fields with links to the structures/unions they belong to:

- s -

• sameSet() : souffle::DisjointSet , souffle::SparseDisjointSet< SparseDomain >
• save() : souffle::profile::Reader
• savetime : souffle::profile::Relation
• scan() : souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Relation< _Arity, Structure >
• Scan() : souffle::interpreter::Scan , souffle::ram::Scan
• sccGraph : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis , souffle::ast::transform::SemanticCheckerImpl
• SCCGraphAnalysis() : souffle::ast::analysis::SCCGraphAnalysis
• sccOfIndex() : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
• sccOrder : souffle::ast::analysis::TopologicallySortedSCCGraphAnalysis
• sccToRelation : souffle::ast::analysis::SCCGraphAnalysis
• schedule() : souffle::ast::analysis::RelationScheduleAnalysis
• scR() : souffle::ast::analysis::SCCGraphAnalysis
• ScreenBuffer() : souffle::ScreenBuffer
• sds : souffle::EquivalenceRelation< TupleType >
• search : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >
• searches : souffle::ram::analysis::MinIndexSelection
• SearchSet : souffle::ram::analysis::MinIndexSelection
• SearchSignature() : souffle::ram::analysis::SearchSignature
• second : souffle::interpreter::SuperInstruction , souffle::ram::BinRelationStatement
• sections : souffle::DebugReport
• seen : souffle::ast::analysis::VisitOnceTypeVisitor< R >
• selectStatement : souffle::ReadStreamSQLite
• SemanticCheckerImpl() : souffle::ast::transform::SemanticCheckerImpl
• sep : souffle::detail::joined_sequence< Iter, Printer >
• Sequence() : souffle::ram::Sequence
• SerialisationStream() : souffle::SerialisationStream< readOnlyTables >
• set() : souffle::ast::BooleanConstraint , souffle::BaseTable< K, V > , souffle::SignalHandler , souffle::SparseBitMap< BITS >
• setAnterior() : souffle::EquivalenceRelation< TupleType >::iterator
• setArguments() : souffle::interpreter::Context
• setAttributeNames() : souffle::ast::transform::IOAttributesTransformer
• setAttributeParams() : souffle::ast::transform::IOAttributesTransformer
• setAttributes() : souffle::ast::Relation
• setAttributeTypes() : souffle::ast::transform::IOAttributesTransformer
• setBaseOperator() : souffle::ast::BinaryConstraint
• setBody() : souffle::ast::Aggregator
• setBodyLiterals() : souffle::ast::Clause
• setBranches() : souffle::ast::analysis::AlgebraicDataType
• setClauses() : souffle::ast::Program
• setComponentType() : souffle::ast::Component , souffle::ast::ComponentInit
• setCopytime() : souffle::profile::Iteration
• setDBFromFile() : souffle::ProfileEventSingleton
• setDebugReport() : souffle::ast::transform::ConditionalTransformer , souffle::ast::transform::DebugReporter , souffle::ast::transform::FixpointTransformer , souffle::ast::transform::MetaTransformer , souffle::ast::transform::NullTransformer , souffle::ast::transform::PipelineTransformer , souffle::ast::transform::WhileTransformer
• setDefaults() : souffle::ast::transform::IODefaultsTransformer
• setElements() : souffle::ast::analysis::UnionType
• setEndtime() : souffle::profile::Iteration , souffle::profile::ProgramRun , souffle::profile::Relation , souffle::profile::Rule
• setExecutionPlan() : souffle::ast::Clause
• setFields() : souffle::ast::analysis::RecordType
• setFieldType() : souffle::ast::RecordType
• setFilename() : souffle::SrcLocation
• setFinalOpType() : souffle::ast::IntrinsicFunctor
• setFinalReturnType() : souffle::ast::IntrinsicFunctor , souffle::ast::UserDefinedFunctor
• setFinalType() : souffle::ast::Aggregator , souffle::ast::BinaryConstraint , souffle::ast::NumericConstant
• setFunction() : souffle::ast::IntrinsicFunctor
• setGeneratorLoc() : souffle::ast2ram::ValueIndex
• setHead() : souffle::ast::Clause
• setId() : souffle::profile::Rule
• setInstanceName() : souffle::ast::ComponentInit
• setIterator() : souffle::detail::brie::TrieTypes< Dim >::iterator_core , souffle::detail::brie::TrieTypes< 1u >::iterator_core
• setLoadtime() : souffle::profile::Relation
• setLocator() : souffle::profile::Iteration , souffle::profile::Relation , souffle::profile::Rule
• setMsg() : souffle::SignalHandler
• setName() : souffle::ast::ComponentType , souffle::ast::Variable
• setNumThreads() : souffle::SouffleProgram
• setNumTuples() : souffle::profile::Iteration , souffle::profile::Relation , souffle::profile::Rule
• setOrderFor() : souffle::ast::ExecutionPlan
• setOutputFile() : souffle::ProfileEventSingleton
• setPosterior() : souffle::EquivalenceRelation< TupleType >::iterator
• setPostMaxRSS() : souffle::profile::Relation
• setPreMaxRSS() : souffle::profile::Relation
• setPrompt() : souffle::profile::InputReader
• setQualifiedName() : souffle::ast::Atom , souffle::ast::Directive , souffle::ast::Relation , souffle::ast::Type
• setReady() : souffle::profile::Relation
• setRecordDefinition() : souffle::ast2ram::ValueIndex
• setRecursive() : souffle::profile::Rule
• setRelationMap() : souffle::profile::ProgramRun
• setRepresentation() : souffle::ast::Relation
• setReturnValues() : souffle::interpreter::Context
• setSavetime() : souffle::profile::Relation
• setSize() : souffle::TreeNode
• setSrcLoc() : souffle::ast::Node
• setStarttime() : souffle::profile::Iteration , souffle::profile::ProgramRun , souffle::profile::Relation , souffle::profile::Rule
• setTupleId() : souffle::ram::TupleOperation
• setType() : souffle::ast::Directive , souffle::ast::TypeCast , souffle::ast::UnionType
• setTypeName() : souffle::ast::Attribute
• setTypeParameters() : souffle::ast::ComponentType
• setup() : souffle::ExplainProvenance , souffle::ExplainProvenanceImpl
• setupFromJson() : souffle::SerialisationStream< readOnlyTables >
• setVerbosity() : souffle::ast::transform::ConditionalTransformer , souffle::ast::transform::DebugReporter , souffle::ast::transform::FixpointTransformer , souffle::ast::transform::MetaTransformer , souffle::ast::transform::NullTransformer , souffle::ast::transform::PipelineTransformer , souffle::ast::transform::WhileTransformer
• setVersion() : souffle::profile::Rule
• setViewContext() : souffle::interpreter::AbstractParallel
• shadow : souffle::interpreter::Node
• shape : json11::Json
• shortName : souffle::MainOption
• shouldRun() : souffle::ast::transform::MagicSetTransformer
• showFullText() : souffle::profile::InputReader
• SignalHandler() : souffle::SignalHandler
• SignatureIndexMap : souffle::ram::analysis::MinIndexSelection
• SignatureMap : souffle::ram::analysis::MinIndexSelection
• signatureToIndexA : souffle::ram::analysis::MinIndexSelection
• signatureToIndexB : souffle::ram::analysis::MinIndexSelection
• SignedConstant() : souffle::ram::SignedConstant
• SingleValueIterator() : souffle::SingleValueIterator< T >
• sinks : souffle::ast::analysis::TypeConstraintsAnalysis
• sips : souffle::ast2ram::AstToRamTranslator
• size() : souffle::ast::analysis::TypeSet , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::DisjointSet , souffle::EquivalenceRelation< TupleType > , souffle::interpreter::Index< _Arity, Structure > , souffle::interpreter::Index< 0, Structure > , souffle::interpreter::Order , souffle::interpreter::Relation< _Arity, Structure > , souffle::interpreter::RelationWrapper , souffle::interpreter::RelInterface , souffle::Logger , souffle::PiggyList< T > , souffle::profile::Iteration , souffle::profile::Relation , souffle::profile::Rule , souffle::RandomInsertPiggyList< T > , souffle::Relation , souffle::RelationWrapper< RelType > , souffle::SparseArray< T, BITS, merge_op, copy_op > , souffle::SparseBitMap< BITS > , souffle::SparseDisjointSet< SparseDomain > , souffle::SymbolTable , souffle::t_info< Arity_ > , souffle::t_nullaries , souffle::Table< T, blockSize > , souffle::TreeNode , souffle::Trie< Dim > , souffle::Trie< 1u > , souffle::tuple , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, S > , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, dynamic_extent > , TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• size_bytes() : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• size_type : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• sl : souffle::PiggyList< T >
• slock : souffle::RandomInsertPiggyList< T >
• solution_type : souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
• solve() : souffle::ast::analysis::Problem< Var > , souffle::ram::analysis::MaxMatching , souffle::ram::analysis::MinIndexSelection
• sort() : souffle::profile::Table
• sortColumn : souffle::profile::Tui
• souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, false, WeakComparator, Updater > : souffle::btree_multiset< Key, Comparator, Allocator, blockSize, SearchStrategy, WeakComparator, Updater >
• souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, true, WeakComparator, Updater > : souffle::btree_set< Key, Comparator, Allocator, blockSize, SearchStrategy, WeakComparator, Updater >
• souffle::ParserDriver : souffle::ast::Program
• span() : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• span_storage() : TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, S > , TCB_SPAN_NAMESPACE_NAME::detail::span_storage< E, dynamic_extent >
• SparseArray() : souffle::SparseArray< T, BITS, merge_op, copy_op >
• SparseArrayIter() : souffle::detail::brie::SparseArrayIter< SparseArray >
• SparseBitMap() : souffle::SparseBitMap< BITS >
• SparseBitMapIter() : souffle::detail::brie::SparseBitMapIter< SparseBitMap >
• SparseDisjointSet() : souffle::SparseDisjointSet< SparseDomain >
• SparseMap : souffle::SparseDisjointSet< SparseDomain >
• sparseToDenseMap : souffle::SparseDisjointSet< SparseDomain >
• SpinLock() : souffle::SpinLock
• split() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node , souffle::profile::EventProcessorSingleton
• splitSignature() : souffle::profile::EventProcessorSingleton
• src : souffle::CmdOptions , souffle::interpreter::BinRelOperation
• start : souffle::Logger , souffle::ProfileEventSingleton::ProfileTimer , souffle::SrcLocation
• start_read() : souffle::OptimisticReadWriteLock , souffle::ReadWriteLock
• start_write() : souffle::OptimisticReadWriteLock , souffle::ReadWriteLock
• startDebug() : souffle::LogStatement
• startMaxRSS : souffle::Logger
• startSection() : souffle::DebugReport
• starttime : souffle::profile::Iteration
• startTime : souffle::profile::ProgramRun
• starttime : souffle::profile::Relation , souffle::profile::Rule
• startTimer() : souffle::ProfileEventSingleton
• stateful : souffle::ast::FunctorDeclaration , souffle::ram::UserDefinedOperator
• statement : souffle::ram::AbstractLog
• statements : souffle::ram::ListStatement
• StatesBucket : souffle::EquivalenceRelation< TupleType >
• StatesList : souffle::EquivalenceRelation< TupleType >
• statesLock : souffle::EquivalenceRelation< TupleType >
• StatesMap : souffle::EquivalenceRelation< TupleType >
• statesMapStale : souffle::EquivalenceRelation< TupleType >
• Statics() : json11::Statics
• stop() : souffle::ProfileEventSingleton::ProfileTimer
• stopTimer() : souffle::ProfileEventSingleton
• storage_ : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• storage_type : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• store : souffle::detail::brie::TrieBase< Dim, Derived > , souffle::SparseBitMap< BITS >
• store_iter : souffle::detail::brie::TrieTypes< Dim >::iterator_core , souffle::detail::brie::TrieTypes< 1u >::iterator_core
• store_type : souffle::detail::brie::TrieBase< Dim, Derived > , souffle::detail::brie::TrieTypes< Dim > , souffle::detail::brie::TrieTypes< 1u > , souffle::Trie< Dim > , souffle::Trie< 1u >
• StorePair : souffle::EquivalenceRelation< TupleType >
• StrictSips() : souffle::ast::StrictSips
• STRING : json11::Json
• string_value() : json11::Json , json11::JsonString , json11::JsonValue
• StringConstant() : souffle::ast::StringConstant
• stronglyBoundVariables : souffle::ast::BindingStore
• strToNum : souffle::SymbolTable
• subproofs : souffle::ExplainProvenanceImpl
• subroutine : souffle::interpreter::Engine
• SubroutineArgument() : souffle::ast::SubroutineArgument , souffle::ram::SubroutineArgument
• subroutineId : souffle::interpreter::Call
• SubroutineReturn() : souffle::ram::SubroutineReturn
• subroutines : souffle::ram::Program
• subsections : souffle::DebugReportSection
• SubsetType() : souffle::ast::analysis::SubsetType , souffle::ast::SubsetType
• subspan() : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• subspan_return_t : TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• success : TestCase::test_result
• successors : souffle::ast::analysis::SCCGraphAnalysis , souffle::Graph< Vertex, Compare >
• summary : souffle::WriteStream
• SumTypeBranchesAnalysis() : souffle::ast::analysis::SumTypeBranchesAnalysis
• sumTypesBranches : souffle::ast::analysis::TypeConstraintsAnalysis , souffle::ast::transform::SemanticCheckerImpl
• super : souffle::btree_multiset< Key, Comparator, Allocator, blockSize, SearchStrategy, WeakComparator, Updater > , souffle::btree_set< Key, Comparator, Allocator, blockSize, SearchStrategy, WeakComparator, Updater > , souffle::LambdaBTreeSet< Key, Functor, Comparator, Allocator, blockSize, SearchStrategy >
• superInst : souffle::interpreter::SuperOperation
• SuperInstruction() : souffle::interpreter::SuperInstruction
• SuperOperation() : souffle::interpreter::SuperOperation
• swap() : souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::detail::LambdaBTree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, Functor, WeakComparator, Updater > , souffle::interpreter::Relation< _Arity, Structure >
• Swap() : souffle::interpreter::Swap , souffle::ram::Swap
• swapRelation() : souffle::interpreter::Engine
• SWIGSouffleProgram() : SWIGSouffleProgram
• symbol : souffle::Equivalence , souffle::IntrinsicFunctorInfo
• symbolInsertStatement : souffle::WriteStreamSQLite
• symbolSelectStatement : souffle::WriteStreamSQLite
• symbolTable : souffle::ram::TranslationUnit , souffle::SerialisationStream< readOnlyTables >
• SymbolTable() : souffle::SymbolTable
• symbolTableName : souffle::WriteStreamSQLite
• symTable : souffle::ExplainProvenance , souffle::interpreter::ProgInterface , souffle::interpreter::RelInterface
• sync() : souffle::gzfstream::internal::gzfstreambuf
• synced : souffle::SparseArray< T, BITS, merge_op, copy_op >
• Synthesiser() : souffle::synthesiser::Synthesiser
• systemtime : souffle::profile::Tui::Usage