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

- s -

• s : handle_dbg
• SAFETY_ANALYSIS : Configuration
• safetyCheck() : State , SafetyCheckState , ProgramCtx
• SafetyChecker() : SafetyChecker
• SafetyCheckerBase() : SafetyCheckerBase
• SafetyCheckState() : SafetyCheckState
• safetyPlugins : LiberalSafetyChecker
• safetyPreconditions : LiberalSafetyChecker
• SafetyPreconditions : LiberalSafetyChecker
• sample() : bm::random_subset< BV >
• satisfied() : CDNLSolver
• satisfiesIndependently() : InternalGroundASPSolver
• sayGoodbye() : Logger::Closure
• sayHello() : Logger::Closure
• SCCDepGraph : InternalGrounder
• scriptname : EvalHeuristicASP
• search_in_bitblock() : bm::bvector< Alloc >::enumerator
• search_in_gapblock() : bm::bvector< Alloc >::enumerator
• searchPath : PluginContainer
• seek() : bm::decoder_base
• Self : ModelBuilder< EvalGraphT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > , OfflineModelBuilder< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• sem : HexGrammarBase< Iterator, Skipper >
• SemanticActionBase() : SemanticActionBase< ManagerClass, TargetAttribute, Tag >
• send() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• SenseNotArmed1PluginAtom() : SenseNotArmed1PluginAtom
• SenseNotArmed2PluginAtom() : SenseNotArmed2PluginAtom
• serial_iterator_type : bm::iterator_deserializer< BV, SerialIterator >
• serial_stream_be : bm::operation_deserializer< BV >
• serial_stream_current : bm::operation_deserializer< BV >
• serial_stream_iterator() : bm::serial_stream_iterator< DEC >
• serial_stream_le : bm::operation_deserializer< BV >
• serialize() : bm::serializer< BV >
• serializer() : bm::serializer< BV >
• set() : bm::bvmini< N >
• Set() : Set< T >
• set : insert_set_iterator< T > , const_set_iterator< T > , set_iterator< T > , bm::bvector< Alloc > , bm::miniset< A, N > , bm::bvmini< N > , bm::bvector< Alloc > , bm::miniset< A, N >
• set_all_one() : bm::blocks_manager< Alloc >
• set_all_zero() : bm::blocks_manager< Alloc >
• set_bit() : bm::bvector< Alloc > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::bvector_mini< A >
• set_bit_and() : bm::bvector< Alloc >
• set_bit_conditional() : bm::bvector< Alloc >
• set_bit_conditional_impl() : bm::bvector< Alloc >
• set_bit_no_check() : bm::bvector< Alloc >
• set_block() : bm::blocks_manager< Alloc >
• set_block_all_set() : bm::blocks_manager< Alloc >
• set_block_bit() : bm::blocks_manager< Alloc >
• set_block_gap() : bm::blocks_manager< Alloc >
• set_block_ptr() : bm::blocks_manager< Alloc >
• set_compression_level() : bm::serializer< BV >
• set_gap_block() : bm::blocks_manager< Alloc >
• set_gap_levels() : bm::bvector< Alloc >
• set_glen() : bm::blocks_manager< Alloc >
• set_iterator() : set_iterator< T >
• set_new_blocks_strat() : bm::bvector< Alloc >
• set_pos() : bm::encoder
• set_range() : bm::bvector< Alloc >
• set_range_no_check() : bm::bvector< Alloc >
• setAll() : BaseTopology , RandomTopology , TreeTopology
• setArgument() : ComfortAtom
• setArguments() : ComfortAtom
• setArity() : PredicateTable
• setASPSoftware() : ProgramCtx
• setAssumptions() : AssumptionBasedUnfoundedSetChecker
• setAtomlevellinear() : ExtSourceProperties
• setCaresAboutAssigned() : ExtSourceProperties
• setCaresAboutChanged() : ExtSourceProperties
• setCompleteNegativeSupportSets() : ExtSourceProperties
• setCompletePositiveSupportSets() : ExtSourceProperties
• setCompleteSupportSetsForVerification() : AnnotatedGroundProgram
• setContext() : PluginError
• setEAtom() : ExternalAtomMask
• setEDB() : InternalGroundASPSolver
• setFact() : InternalGroundASPSolver , Interpretation , CDNLSolver
• setFile() : SyntaxError
• setFiniteFiber() : ExtSourceProperties
• setFunctional() : ExtSourceProperties
• setFunctionalStart() : ExtSourceProperties
• setIModel() : OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• setIndexEAtoms() : AnnotatedGroundProgram
• setLine() : SyntaxError
• setNameVersion() : PluginInterface
• setOnlySafeSupportSets() : ExtSourceProperties
• setOptimum() : GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver
• setOption() : Configuration
• setOutput() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• setOutputArity() : PluginAtom
• setParseMode() : DLVResultParser
• setPath() : DLVProcess
• setPrintInterval() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• setPrintLevels() : Logger
• setPrintLevelWidth() : Logger
• setProvidesPartialAnswer() : ExtSourceProperties
• setRegistry() : Interpretation , PluginAtom , PredicateMask
• setStringOption() : Configuration
• setSupportSets() : ExtSourceProperties
• setToTrue() : InternalGrounder
• setTuplelevellinear() : ExtSourceProperties
• setupAuxiliaryGroundAtomMask() : Registry
• setupByPlugins() : ProgramCtx
• setupPluginContainer() : ProgramCtx
• setupProgramCtx() : AggregatePlugin , ChoicePlugin , ConditionalLiteralPlugin , FunctionPlugin , HigherOrderPlugin , PluginInterface , ProgramCtx , QueryPlugin , State , SetupProgramCtxState , StrongNegationPlugin , WeakConstraintPlugin , TestPlugin
• SetupProgramCtxState() : SetupProgramCtxState
• setupProperties() : PluginAtom
• setupRegistry() : ProgramCtx
• setupStreams() : DLVProcess
• setUsesEnvironment() : ExtSourceProperties
• setVariableOutputArity() : ExtSourceProperties
• shallPrint() : Logger
• share : evalheur::BuildCommand
• showPlugins() : ProgramCtx , State , ShowPluginsState
• ShowPluginsState() : ShowPluginsState
• SimpleEvaluator() : SimpleEvaluator
• Simplify : AggregatePlugin::CtxData
• size() : dlvhex::ConcurrentMessageQueueOwning< MessageBase > , Set< T > , bm::bvector< Alloc > , bm::encoder , bm::decoder_base , bm::bvector< Alloc > , bm::encoder , bm::decoder_base
• size_ : bm::encoder , bm::bvector< Alloc >
• size_type : bm::bvector< Alloc >
• sizeOfBodyMax : BaseTopology
• sizeOfHeadMax : BaseTopology
• skip_mono_blocks() : bm::serial_stream_iterator< DEC >
• skipProgram : UnfoundedSetCheckHeuristics
• snapshot() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• Software : ASPSolverManager::SoftwareConfiguration< SoftwareT >
• SoftwareBase() : ASPSolverManager::SoftwareBase
• SoftwareConfiguration() : ASPSolverManager::SoftwareConfiguration< SoftwareT >
• SoftwareConfigurationPtr : ASPSolverManager
• solve() : ASPSolverManager , SimpleEvaluator
• solvedPredicates : InternalGrounder
• solver : UnfoundedSetChecker , GenuineGuessAndCheckModelGenerator , GenuinePlainModelGenerator , GenuineSolver
• SortElement() : SortElement< T >
• sourceOf() : ComponentGraph , DependencyGraph , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• sourceRule : InternalGroundASPSolver
• sources : ComponentGraph::ComponentInfo , ComponentGraph::DependencyInfo
• spawn() : Process , DLVProcess , Process
• Split : Term
• split() : Term
• Split : Term
• splitQuery() : PluginAtom
• src_ : bm::bit_in< TDecoder >
• sse_empty_guard() : bm::sse_empty_guard
• start : HexGrammarBase< Iterator, Skipper > , bm::gamma_decoder< T, TBitIO > , benchmark::simple::BenchmarkController::Stat , benchmark::nestingAware::NestingAwareController::Current , benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , bm::gamma_decoder< T, TBitIO >
• start_ : bm::encoder , bm::decoder_base
• startline() : Logger
• startWatching() : CDNLSolver
• Stat() : benchmark::simple::BenchmarkController::Stat , benchmark::nestingAware::NestingAwareController::Stat
• stat_ : bm::blocks_manager< Alloc >::block_opt_func
• State() : State
• state : handle_finished_answerset , bm::serial_stream_iterator< DEC > , handle_ident , bm::serial_stream_iterator< DEC > , handle_fact , DLVResultGrammar< Iterator > , ProgramCtx
• state_ : bm::serial_stream_iterator< DEC >
• STATS : Logger
• status : ProcessBuf
• stop() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , bm::gamma_decoder< T, TBitIO >
• stopWatching() : CDNLSolver
• Storage : Interpretation , PreparedResults
• storeAndGetAddress() : ModuleTable
• storeAndGetID() : AggregateAtomTable , ExternalAtomTable , RuleTable , TermTable , BuiltinAtomTable , ModuleAtomTable , OrdinaryAtomTable , PredicateTable
• storeConstantTerm() : Registry
• storeConstOrVarTerm() : Registry
• stored : DynamicVector< K, T >
• storeOrdinaryAtom() : Registry
• storeOrdinaryGAtom() : Registry
• storeOrdinaryNAtom() : Registry
• storeRule() : Registry
• storeTerm() : Registry
• storeVariableTerm() : Registry
• STR : ComfortTerm
• stratifiedLiterals : ComponentGraph::ComponentInfo
• stratumOfPredicate : InternalGrounder
• stream : InputProvider::Impl , Logger
• strictlyBetterThan() : AnswerSet
• string : HexGrammarBase< Iterator, Skipper >
• stringFromBuiltinTerm() : ID
• stringOptionMap : Configuration
• stronglyNegatedPrefixAtom() : StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
• stronglySafeVariables : ComponentGraph::ComponentInfo
• StrongNegationParserModuleSemantics() : StrongNegationParserModuleSemantics
• StrongNegationPlugin() : StrongNegationPlugin
• strongSafetyCheck() : ProgramCtx , State , StrongSafetyCheckState
• StrongSafetyChecker() : StrongSafetyChecker
• StrongSafetyCheckState() : StrongSafetyCheckState
• strval : ComfortTerm , ComfortLiteral , ComfortAtom
• sub_block_ : bm::random_subset< BV >
• SUBKIND_ATOM_AGGREGATE : ID
• SUBKIND_ATOM_BUILTIN : ID
• SUBKIND_ATOM_EXTERNAL : ID
• SUBKIND_ATOM_MODULE : ID
• SUBKIND_ATOM_ORDINARYG : ID
• SUBKIND_ATOM_ORDINARYN : ID
• SUBKIND_MASK : ID
• SUBKIND_RULE_CONSTRAINT : ID
• SUBKIND_RULE_REGULAR : ID
• SUBKIND_RULE_WEAKCONSTRAINT : ID
• SUBKIND_RULE_WEIGHT : ID
• SUBKIND_SHIFT : ID
• SUBKIND_TERM_BUILTIN : ID
• SUBKIND_TERM_CONSTANT : ID
• SUBKIND_TERM_INTEGER : ID
• SUBKIND_TERM_NESTED : ID
• SUBKIND_TERM_PREDICATE : ID
• SUBKIND_TERM_VARIABLE : ID
• Substitution : InternalGrounder
• succeed : TestZeroArityAtom
• SuccessorIterator : ComponentGraph , DependencyGraph , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , LiberalSafetyChecker
• SuccessorModelMap : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
• successors : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
• succNogoods : GenuineGuessAndCheckModelGeneratorFactory
• sum() : bm::bitblock_sum_adapter
• sum_ : bm::bitblock_sum_adapter
• SumNonZeroAtom() : TestPlugin::SumNonZeroAtom
• supportSets : AnnotatedGroundProgram , ExtSourceProperties
• sus : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• suspend() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• swap() : bm::bvector_mini< A > , bm::bvector< Alloc > , bm::miniset< A, N > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::bvmini< N > , bm::miniset< A, N > , bm::blocks_manager< Alloc > , bm::bvmini< N >
• swapExternalAtomAuxiliaryAtom() : Registry
• symbol : Predicate , DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue , Term
• symbolicSet : HexGrammarBase< Iterator, Skipper >
• sync() : ProcessBuf
• SyntaxError() : SyntaxError