- s -

• SatPrePtr : Clasp::SharedContext
• SC : Clasp::VsidsScore , Clasp::DomScore
• SccGraph : Clasp::SharedContext , Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap
• SccMap : Clasp::Asp::LogicProgram
• Score : Clasp::ClaspVmtf
• Scores : Clasp::ClaspBerkmin
• ScoreVec : Clasp::ClaspVsids_t< ScoreType >
• SDG : Clasp::SharedContext
• SearchOpts : Clasp::Configuration
• SearchVec : Clasp::BasicSatConfig
• self_type : Clasp::ClauseInfo
• SharedCon : Clasp::CBConsequences::CBFinder
• SharedData : Clasp::MinimizeConstraint , Clasp::MinimizeBuilder
• SharedDataP : Clasp::MinimizeConstraint
• SharedLits : Clasp::CBConsequences::CBFinder
• SharedMinData : Clasp::ClaspFacade::Summary
• SharedMinimize : Clasp::ProgramBuilder
• size_t : Clasp::Restricted
• size_type : bk_lib::left_right_sequence< L, R, i > , Clasp::PodQueue< T > , Clasp::SharedContext , bk_lib::indexed_priority_queue< Cmp > , bk_lib::detail::left_right_rep< L, R > , bk_lib::detail::select_base< L, R, i >
• SL : Clasp::ModelEnumerator::SolutionQueue , Clasp::ModelEnumerator::RecordFinder
• SolvePtr : Clasp::ClaspFacade
• SolverIt : Clasp::ClaspConfig
• SolverOpts : Clasp::Configuration
• SolverVec : Clasp::SharedContext , Clasp::BasicSatConfig
• StateVec : Clasp::Asp::RuleState
• StatsRef : Clasp::SharedContext
• StatsVec : Clasp::SharedContext
• StringSeq : Clasp::Cli::ClaspAppOptions
• SummaryPtr : Clasp::ClaspFacade
• SumPtr : Clasp::Cli::Output
• sup_iterator : Clasp::Asp::PrgHead
• SymbolMap : Clasp::DomainHeuristic
• SymbolsRef : Clasp::SharedContext
• SymbolType : Clasp::DomainHeuristic