- s -

• s : Clasp::ShortImplicationsGraph::Propagate , Clasp::ShortImplicationsGraph::ReverseArc
• s_ : Clasp::ClaspVmtf::LessLevel
• samples : Clasp::SumQueue
• sat : Clasp::Test::TestingConstraint
• sat_ : Clasp::UncoreMinimize
• satPre : Clasp::ContextParams
• satPreM : Clasp::SharedContext::Share
• satPrepro : Clasp::SharedContext
• satTime : Clasp::ClaspFacade::Summary
• saved_ : Clasp::Cli::Output , Clasp::Lookahead
• saveProgress : Clasp::SolverStrategies
• sBody_ : Clasp::Asp::PrgBody
• sc_ : Clasp::ClaspVsids_t< ScoreType >::CmpScore , Clasp::ClaspVmtf::LessLevel
• scc : Clasp::SolveTestEvent , Clasp::SharedDependencyGraph::Node
• sccAtoms_ : Clasp::Asp::LogicProgram , Clasp::Asp::SccChecker
• sccGraph : Clasp::SharedContext
• sccs : Clasp::Asp::LpStats
• sccs_ : Clasp::Asp::SccChecker
• sched : Clasp::RestartParams
• score : Clasp::ClaspBerkmin::Order , Clasp::ScoreLook , Clasp::Lookahead , Clasp::ReduceStrategy
• score_ : Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType >
• search : Clasp::SolverStrategies
• search_ : Clasp::BasicSatConfig
• seed : Clasp::SharedContext::Share , Clasp::SolverParams , Clasp::ContextParams
• seed_ : Clasp::RNG
• seen : Clasp::Cli::ClaspCliConfig::ParseContext::Frame
• seen_ : Clasp::Asp::PrgNode , Clasp::VarScore , Clasp::SatPreprocessor
• self : Clasp::Cli::ClaspCliConfig::ScopedSet , Clasp::ClaspBerkmin::Order::Compare , Clasp::SatElite::SatElite::Progress , Clasp::DefaultUnfoundedCheck::InitExtWatches , Clasp::DefaultUnfoundedCheck::AddSource , Clasp::DefaultUnfoundedCheck::RemoveSource , Clasp::DefaultUnfoundedCheck::AddReasonLit
• sep_ : Clasp::SharedDependencyGraph::Node
• setConflict : Clasp::Test::TestingConstraint
• share_ : Clasp::SharedContext
• shared : Clasp::ClauseHead::Data , Clasp::CBConsequences::CBFinder
• shared_ : Clasp::CBConsequences , Clasp::MinimizeConstraint , Clasp::ShortImplicationsGraph , Clasp::Solver
• shareM : Clasp::SharedContext::Share
• shareMode : Clasp::ContextParams
• sHead_ : Clasp::Asp::PrgBody
• shortM : Clasp::SharedContext::Share
• shortMode : Clasp::ContextParams
• shuffle : Clasp::RestartParams
• shuffleNext : Clasp::RestartParams
• shufSimp_ : Clasp::Solver
• sId : Clasp::Model
• SIGCANCEL : Clasp::ClaspFacade::SolveStrategy
• sign : Clasp::DomainHeuristic::DomEntry
• signal : Clasp::ClaspFacade::Result , Clasp::ClaspFacade::SolveStrategy
• signDef : Clasp::SolverStrategies
• signFix : Clasp::SolverStrategies
• simp : Clasp::Asp::PrgBody::Head
• size : Clasp::DefaultMinimize::Step , Clasp::Distributor::Policy , Clasp::Solver::DBInfo , Clasp::ClauseRep , Clasp::WeightLitsRep
• size_ : Clasp::Asp::PrgBody , Clasp::LoopFormula , Clasp::DefaultMinimize , Clasp::SatPreprocessor::Clause , bk_lib::detail::input_from_string< T, Traits >
• size_type_ : Clasp::SharedLiterals
• sizeExt : Clasp::ClauseHead::Data::LocalClause
• smallAlloc_ : Clasp::Solver
• soft_ : Clasp::PBBuilder
• softClauses_ : Clasp::SatBuilder
• solution : Clasp::ModelEnumerator::RecordFinder , Clasp::ModelEnumerator::BacktrackFinder
• solve : Clasp::ClaspConfig
• solve_ : Clasp::ClaspFacade
• solver : Clasp::LogEvent , Clasp::SolveEvent< T > , Clasp::SequentialSolve::InterruptHandler , Clasp::Test::ClauseTest
• solver_ : Clasp::ClauseCreator , Clasp::DomainHeuristic , Clasp::BasicSolve , Clasp::DefaultUnfoundedCheck , Clasp::Detail::GreaterLevel , Clasp::BasicSatConfig
• solvers_ : Clasp::SharedContext
• solveTime : Clasp::ClaspFacade::Summary
• source : Clasp::DefaultUnfoundedCheck::AtomData
• source_ : Clasp::StreamParser
• sourceQ_ : Clasp::DefaultUnfoundedCheck
• split_ : Clasp::Timer< TimeType >
• start_ : Clasp::Timer< TimeType >
• startAtom : Clasp::Asp::LogicProgram::Incremental
• startAux : Clasp::Asp::LogicProgram::Incremental
• startScc : Clasp::Asp::LogicProgram::Incremental
• state : Clasp::ClaspFacade::SolveStrategy
• state_ : Clasp::Asp::RuleState , ProgramOptions::Value , Clasp::Asp::PrgHead , Clasp::Cli::TextOutput , Clasp::BasicSolve
• stats : Clasp::Asp::LogicProgram , Clasp::ContextParams , Clasp::SatPreprocessor , Clasp::Solver
• status : Clasp::ClauseCreator::Result
• step : Clasp::ClaspFacade::Summary
• step_ : Clasp::ClaspFacade , Clasp::DefaultMinimize , Clasp::SharedContext
• str : Clasp::Test::DlpBuilderTest , Clasp::Test::LogicProgramTest , Clasp::Test::EnumeratorTest , Clasp::SymbolTable::String
• strategy : Clasp::Solver , Clasp::ReduceParams
• strategy_ : Clasp::DefaultUnfoundedCheck
• stTime_ : Clasp::Cli::TextOutput
• sum_ : Clasp::UncoreMinimize
• sumCfl : Clasp::SumQueue
• sumLbd : Clasp::SumQueue
• summary : Clasp::ClaspFacade::StepReady
• summary_ : Clasp::Cli::Output
• sumW : Clasp::Asp::PrgBody::SumExtra
• sumW_ : Clasp::Asp::RuleTransform::Impl
• suppMod : Clasp::Asp::LogicProgram::AspOptions
• supports_ : Clasp::Asp::PrgHead
• sym : Clasp::Model , Clasp::DomainHeuristic::DomEntry
• symTab : Clasp::SharedContext::SharedSymTab
• symTabPtr_ : Clasp::SharedContext
• system : Clasp::Event
• sz : Clasp::WeightConstraint::WL