- s -

• SAT : Clasp::ClaspFacade::Result , Clasp::Problem_t
• sat_pre_full : Clasp::SatPreParams
• sat_pre_no : Clasp::SatPreParams
• sat_pre_ve : Clasp::SatPreParams
• sat_pre_ve_bce : Clasp::SatPreParams
• saved_value : Clasp::ValueSet
• score_act : Clasp::ReduceStrategy
• score_both : Clasp::ReduceStrategy
• score_lbd : Clasp::ReduceStrategy
• score_max : Clasp::ScoreLook
• score_max_min : Clasp::ScoreLook
• sentinel_atom : Clasp::SharedDependencyGraph
• seq_continue : Clasp::RestartParams
• seq_disable : Clasp::RestartParams
• seq_repeat : Clasp::RestartParams
• share_all : Clasp::ContextParams
• share_auto : Clasp::ContextParams
• share_learnt : Clasp::ContextParams
• share_no : Clasp::ContextParams
• share_problem : Clasp::ContextParams
• shared_reason : Clasp::DefaultUnfoundedCheck
• short_antes : Clasp::SolverStrategies
• short_explicit : Clasp::ContextParams
• short_implicit : Clasp::ContextParams
• sign_atom : Clasp::SolverStrategies
• sign_disj : Clasp::SolverStrategies
• sign_no : Clasp::SolverStrategies
• sign_rnd : Clasp::SolverStrategies
• sign_yes : Clasp::SolverStrategies
• size_with_pad : bk_lib::detail::select_base< L, R, i >
• state_done : Clasp::ClaspFacade::SolveStrategy
• state_freeze : Clasp::Asp::PrgHead
• state_freeze_true : Clasp::Asp::PrgHead
• state_in_flux : Clasp::Asp::PrgHead
• state_model : Clasp::ClaspFacade::SolveStrategy
• state_normal : Clasp::Asp::PrgHead
• state_open : Clasp::CCMinRecursive
• state_poison : Clasp::CCMinRecursive
• state_removable : Clasp::CCMinRecursive
• state_result : Clasp::ClaspFacade::SolveStrategy
• state_running : Clasp::ClaspFacade::SolveStrategy
• state_start : Clasp::ClaspFacade::SolveStrategy
• static_constraint : Clasp::Constraint_t
• status_asserting : Clasp::ClauseCreator
• status_empty : Clasp::ClauseCreator
• status_open : Clasp::ClauseCreator
• status_sat : Clasp::ClauseCreator
• status_sat_asserting : Clasp::ClauseCreator
• status_subsumed : Clasp::ClauseCreator
• status_unit : Clasp::ClauseCreator
• status_unsat : Clasp::ClauseCreator
• strategy_auto : Clasp::ModelEnumerator
• strategy_backtrack : Clasp::ModelEnumerator
• strategy_opts_mask : Clasp::ModelEnumerator
• strategy_record : Clasp::ModelEnumerator
• subsystem_facade : Clasp::Event
• subsystem_load : Clasp::Event
• subsystem_prepare : Clasp::Event
• subsystem_solve : Clasp::Event
• SUM_BODY : Clasp::Asp::BodyInfo