- s -

• safetyCheck() : ProgramCtx , State , SafetyCheckState
• SafetyChecker() : SafetyChecker
• SafetyCheckerBase() : SafetyCheckerBase
• SafetyCheckState() : SafetyCheckState
• sample() : bm::random_subset< BV >
• satisfied() : CDNLSolver
• satisfiesIndependently() : InternalGroundASPSolver
• sayGoodbye() : Logger::Closure
• sayHello() : Logger::Closure
• search_in_bitblock() : bm::bvector< Alloc >::enumerator
• search_in_gapblock() : bm::bvector< Alloc >::enumerator
• seek() : bm::decoder_base
• SemanticActionBase() : SemanticActionBase< ManagerClass, TargetAttribute, Tag >
• send() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• SenseNotArmed1PluginAtom() : SenseNotArmed1PluginAtom
• SenseNotArmed2PluginAtom() : SenseNotArmed2PluginAtom
• serial_stream_iterator() : bm::serial_stream_iterator< DEC >
• serialize() : bm::serializer< BV >
• serializer() : bm::serializer< BV >
• Set() : Set< T >
• set() : bm::bvector< Alloc > , bm::miniset< A, N > , bm::bvmini< N > , bm::bvector< Alloc > , bm::miniset< A, N > , bm::bvmini< N >
• Set() : Set< T >
• 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() : CDNLSolver , InternalGroundASPSolver , Interpretation
• 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() : ChoicePlugin , ConditionalLiteralPlugin , FunctionPlugin , PluginInterface , ProgramCtx , QueryPlugin , State , SetupProgramCtxState , StrongNegationPlugin , WeakConstraintPlugin , AggregatePlugin , TestPlugin , HigherOrderPlugin
• SetupProgramCtxState() : SetupProgramCtxState
• setupProperties() : PluginAtom
• setupRegistry() : ProgramCtx
• setupStreams() : DLVProcess
• setUsesEnvironment() : ExtSourceProperties
• setVariableOutputArity() : ExtSourceProperties
• shallPrint() : Logger
• showPlugins() : State , ShowPluginsState , ProgramCtx
• ShowPluginsState() : ShowPluginsState
• SimpleEvaluator() : SimpleEvaluator
• size() : bm::decoder_base , dlvhex::ConcurrentMessageQueueOwning< MessageBase > , Set< T > , bm::bvector< Alloc > , bm::decoder_base , bm::bvector< Alloc > , bm::encoder
• skip_mono_blocks() : bm::serial_stream_iterator< DEC >
• snapshot() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController
• SoftwareBase() : ASPSolverManager::SoftwareBase
• SoftwareConfiguration() : ASPSolverManager::SoftwareConfiguration< SoftwareT >
• solve() : ASPSolverManager , SimpleEvaluator
• SortElement() : SortElement< T >
• sourceOf() : ComponentGraph , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , DependencyGraph , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• spawn() : DLVProcess , Process , DLVProcess
• split() : Term
• splitQuery() : PluginAtom
• sse_empty_guard() : bm::sse_empty_guard
• start() : bm::gamma_decoder< T, TBitIO > , benchmark::nestingAware::NestingAwareController , bm::gamma_decoder< T, TBitIO > , benchmark::simple::BenchmarkController
• startline() : Logger
• startWatching() : CDNLSolver
• Stat() : benchmark::nestingAware::NestingAwareController::Stat , benchmark::simple::BenchmarkController::Stat
• state() : bm::serial_stream_iterator< DEC >
• State() : State
• state() : bm::serial_stream_iterator< DEC >
• stop() : bm::gamma_decoder< T, TBitIO > , benchmark::simple::BenchmarkController , bm::gamma_decoder< T, TBitIO > , benchmark::nestingAware::NestingAwareController , bm::gamma_decoder< T, TBitIO >
• stopWatching() : CDNLSolver
• storeAndGetAddress() : ModuleTable
• storeAndGetID() : ModuleAtomTable , RuleTable , AggregateAtomTable , ExternalAtomTable , BuiltinAtomTable , TermTable , PredicateTable , OrdinaryAtomTable
• storeConstantTerm() : Registry
• storeConstOrVarTerm() : Registry
• storeOrdinaryAtom() : Registry
• storeOrdinaryGAtom() : Registry
• storeOrdinaryNAtom() : Registry
• storeRule() : Registry
• storeTerm() : Registry
• storeVariableTerm() : Registry
• stream() : Logger
• strictlyBetterThan() : AnswerSet
• stringFromBuiltinTerm() : ID
• stronglyNegatedPrefixAtom() : StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
• StrongNegationParserModuleSemantics() : StrongNegationParserModuleSemantics
• StrongNegationPlugin() : StrongNegationPlugin
• strongSafetyCheck() : StrongSafetyCheckState , State , ProgramCtx
• StrongSafetyChecker() : StrongSafetyChecker
• StrongSafetyCheckState() : StrongSafetyCheckState
• sum() : bm::bitblock_sum_adapter
• SumNonZeroAtom() : TestPlugin::SumNonZeroAtom
• suspend() : benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController
• swap() : bm::blocks_manager< Alloc > , bm::bvector< Alloc > , bm::bvector_mini< A > , bm::miniset< A, N > , bm::bvmini< N > , bm::bvector_mini< A > , bm::bvector< Alloc > , bm::blocks_manager< Alloc >
• swapExternalAtomAuxiliaryAtom() : Registry
• sync() : ProcessBuf
• SyntaxError() : SyntaxError