- s -

• s : handle_dbg
• safetyPlugins : LiberalSafetyChecker
• safetyPreconditions : LiberalSafetyChecker
• scriptname : EvalHeuristicASP
• searchPath : PluginContainer
• sem : HexGrammarBase< Iterator, Skipper >
• set : const_set_iterator< T > , set_iterator< T > , insert_set_iterator< T >
• share : evalheur::BuildCommand
• size_ : bm::bvector< Alloc > , bm::encoder
• sizeOfBodyMax : BaseTopology
• sizeOfHeadMax : BaseTopology
• skipProgram : UnfoundedSetCheckHeuristics
• solvedPredicates : InternalGrounder
• solver : GenuineGuessAndCheckModelGenerator , GenuinePlainModelGenerator , GenuineSolver , UnfoundedSetChecker
• sourceRule : InternalGroundASPSolver
• sources : ComponentGraph::ComponentInfo , ComponentGraph::DependencyInfo
• src_ : bm::bit_in< TDecoder >
• start : benchmark::simple::BenchmarkController::Stat , benchmark::nestingAware::NestingAwareController::Current , HexGrammarBase< Iterator, Skipper >
• start_ : bm::encoder , bm::decoder_base
• stat_ : bm::blocks_manager< Alloc >::block_opt_func
• state : handle_ident , handle_finished_answerset , handle_fact , DLVResultGrammar< Iterator > , ProgramCtx
• state_ : bm::serial_stream_iterator< DEC >
• STATS : Logger
• status : ProcessBuf
• stored : DynamicVector< K, T >
• stratifiedLiterals : ComponentGraph::ComponentInfo
• stratumOfPredicate : InternalGrounder
• stream : InputProvider::Impl
• string : HexGrammarBase< Iterator, Skipper >
• stringOptionMap : Configuration
• stronglySafeVariables : ComponentGraph::ComponentInfo
• strval : ComfortAtom , ComfortTerm , ComfortLiteral
• 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
• succeed : TestZeroArityAtom
• successors : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
• succNogoods : GenuineGuessAndCheckModelGeneratorFactory
• sum_ : bm::bitblock_sum_adapter
• supportSets : ExtSourceProperties , AnnotatedGroundProgram
• sus : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• symbol : Predicate , DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue , Term
• symbolicSet : HexGrammarBase< Iterator, Skipper >