- s -

• sat() : Clasp::ClaspFacade::Result , Clasp::ClaspFacade::Summary , Clasp::WeightLitsRep
• SatBuilder() : Clasp::SatBuilder
• SatElite() : Clasp::SatElite::SatElite
• SatEliteTest() : Clasp::Test::SatEliteTest
• satisfiable() : Clasp::BasicSolve
• satisfied() : Clasp::SatBuilder , Clasp::ClauseHead
• SatPreParams() : Clasp::SatPreParams
• satPrepro() : Clasp::Solver
• SatPreprocessor() : Clasp::SatPreprocessor
• save() : Clasp::ValueSet
• saveAndClear() : Clasp::Assignment
• saveModel() : Clasp::Cli::Output
• scc() : Clasp::Asp::PrgAtom , Clasp::Asp::PrgBody
• SccChecker() : Clasp::Asp::SccChecker
• sccs() : Clasp::Asp::SccChecker
• schedNext() : Clasp::DefaultUnfoundedCheck::MinimalityCheck
• ScheduleStrategy() : Clasp::ScheduleStrategy
• ScopedAlarmLock() : ScopedAlarmLock
• ScopedSet() : Clasp::Cli::ClaspCliConfig::ScopedSet
• score() : Clasp::HeuParams , Clasp::VarScore , Clasp::Solver::CmpScore
• scoreAct() : Clasp::ReduceStrategy
• scoreBoth() : Clasp::ReduceStrategy
• scoreLbd() : Clasp::ReduceStrategy
• scoreLits() : Clasp::ScoreLook
• ScoreLook() : Clasp::ScoreLook
• search() : Clasp::Solver , Clasp::Configuration , Clasp::BasicSatConfig
• searchConfig() : Clasp::Solver
• SearchLimits() : Clasp::SearchLimits
• second() : Clasp::WeightConstraint::CPair
• secondLiteral() : Clasp::Antecedent
• seed() : Clasp::RNG
• seedSolvers() : Clasp::SharedContext
• seekoff() : bk_lib::detail::input_from_string< T, Traits >
• seekpos() : bk_lib::detail::input_from_string< T, Traits >
• seen() : Clasp::SharedDependencyGraph::BodyNode , Clasp::Asp::PrgNode , Clasp::VarScore , Clasp::Solver , Clasp::Assignment
• select() : Clasp::DecisionHeuristic
• selectLiteral() : Clasp::ClaspBerkmin , Clasp::DecisionHeuristic
• selectRange() : Clasp::ClaspBerkmin , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType > , Clasp::DecisionHeuristic , Clasp::Restricted
• SequentialSolve() : Clasp::SequentialSolve
• Set() : Clasp::Constraint_t::Set
• set() : Clasp::Cli::ClaspCliConfig , Clasp::SharedDependencyGraph::AtomNode , Clasp::VsidsScore , Clasp::DomScore , Clasp::Asp::RuleState , Clasp::VarInfo , Clasp::ValueSet
• setActiveDescLevel() : ProgramOptions::OptionContext
• setActivity() : Clasp::ClauseCreator , Clasp::ClauseInfo
• setAtomName() : Clasp::Asp::LogicProgram
• setAux() : Clasp::ClauseInfo
• setBacktrackLevel() : Clasp::Solver
• setBound() : Clasp::Asp::LogicProgram , Clasp::Asp::Rule
• setBpIndex() : Clasp::WeightConstraint
• setCallQuiet() : Clasp::Cli::Output
• setClause() : Clasp::SatPreprocessor
• setCompute() : Clasp::Asp::LogicProgram
• setConcurrency() : Clasp::SharedContext
• setConfig() : Clasp::Cli::ClaspCliConfig
• setConfiguration() : Clasp::SharedContext
• setConflict() : Clasp::Asp::LogicProgram , Clasp::Solver
• setCtx() : Clasp::ProgramBuilder
• setData() : Clasp::ReasonStore32 , Clasp::ReasonStore64 , Clasp::Assignment
• setDefaults() : Clasp::Cli::ClaspCliConfig
• setDepScore() : Clasp::VarScore
• setDescriptionLevel() : ProgramOptions::OptionGroup
• setDisjoint() : Clasp::Enumerator , Clasp::EnumerationConstraint
• setDom() : Clasp::DomScore
• setEnumerationConstraint() : Clasp::Solver
• setEnumerator() : Clasp::SolveAlgorithm
• setEnumLimit() : Clasp::SolveAlgorithm
• setEq() : Clasp::Asp::PrgNode
• setEqGoal() : Clasp::Asp::PrgAtom
• setEventHandler() : Clasp::SharedContext
• setExitCode() : ProgramOptions::Application
• setExtendedRuleMode() : Clasp::Asp::LogicProgram
• setFrozen() : Clasp::ProgramBuilder , Clasp::SharedContext
• setHide() : Clasp::Cli::Output
• setIgnoreScc() : Clasp::Asp::PrgNode
• setIgnoreSymmetric() : Clasp::Enumerator
• setInDisj() : Clasp::SharedContext
• setInQ() : Clasp::SatPreprocessor::Clause
• setInUpper() : Clasp::Asp::PrgHead
• setLbd() : Clasp::ClauseCreator , Clasp::Activity , Clasp::ClauseInfo , Clasp::ClauseHead
• setLimit() : Clasp::Lookahead
• setLimits() : Clasp::SolveAlgorithm
• setLiteral() : Clasp::Asp::PrgNode
• setLower() : Clasp::SharedMinimizeData , Clasp::UncoreMinimize
• setMarked() : Clasp::SatPreprocessor::Clause
• setMemLimit() : Clasp::SearchLimits
• setMinimizer() : Clasp::EnumerationConstraint
• setMode() : Clasp::SharedMinimizeData
• setModelQuiet() : Clasp::Cli::Output
• setNant() : Clasp::SharedContext
• setNonHcfConfiguration() : Clasp::Asp::LogicProgram
• setOptimum() : Clasp::SharedMinimizeData , Clasp::Test::DefaultMinimizeTest
• setOptions() : Clasp::Asp::LogicProgram
• setOptQuiet() : Clasp::Cli::Output
• setPref() : Clasp::Solver , Clasp::Assignment
• setPreserveModels() : Clasp::SharedContext
• setProgram() : Clasp::LparseParser , Clasp::DimacsParser , Clasp::OPBParser
• setProject() : Clasp::SharedContext
• setProperties() : Clasp::SharedDependencyGraph::AtomNode
• setProperty() : ProgramOptions::Value
• setReason() : Clasp::Solver , Clasp::Assignment
• setRootAtom() : Clasp::Asp::Preprocessor
• setScc() : Clasp::Asp::PrgAtom
• setScore() : Clasp::VarScore
• setSeen() : Clasp::VarScore , Clasp::Assignment
• setShareMode() : Clasp::SharedContext
• setShortMode() : Clasp::SharedContext
• setSize() : Clasp::ClauseHead::Data::LocalClause
• setSoftBound() : Clasp::PBBuilder
• setSolver() : Clasp::ClauseCreator
• setSolvers() : Clasp::ClaspConfig
• setSource() : Clasp::DefaultUnfoundedCheck::AtomData , Clasp::DefaultUnfoundedCheck
• setState() : Clasp::Cli::TextOutput , Clasp::Asp::PrgAtom
• setStopConflict() : Clasp::Solver
• setStrategy() : Clasp::ModelEnumerator
• setTagged() : Clasp::ClauseInfo
• setTested() : Clasp::VarScore
• setTester() : Clasp::Cli::ClaspCliConfig
• setType() : Clasp::Asp::Rule , Clasp::ClauseInfo
• setUnits() : Clasp::Assignment
• setUp() : Clasp::Test::DependencyGraphTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::UncoreMinimizeTest , Clasp::Test::LparseParserTest , Clasp::Test::DimacsParserTest , Clasp::Test::OPBParserTest , Clasp::Test::SatBuilderTest , Clasp::Test::PBBuilderTest , Clasp::Test::RuleTest , Clasp::Test::RuleTransformTest , Clasp::Test::SolverTest , Clasp::Test::UnfoundedCheckTest
• setup() : Clasp::Cli::ClaspAppBase , ProgramOptions::Application
• setupSimpleProgram() : Clasp::Test::UnfoundedCheckTest
• setValue() : Clasp::Asp::PrgNode , Clasp::Assignment
• setVarEq() : Clasp::SharedContext
• setVerbose() : ProgramOptions::Application
• setVerbosity() : Clasp::Cli::Output , Clasp::EventHandler
• setWinner() : Clasp::SharedContext
• Share() : Clasp::SharedContext::Share
• share() : Clasp::SharedLiterals , Clasp::SharedMinimizeData
• shareable() : Clasp::WeightConstraint::WL
• shared() : Clasp::MinimizeConstraint
• SharedClauseTest() : Clasp::Test::SharedClauseTest
• SharedConstraint() : Clasp::CBConsequences::SharedConstraint
• sharedContext() : Clasp::Solver
• SharedContext() : Clasp::SharedContext
• SharedDependencyGraph() : Clasp::SharedDependencyGraph
• SharedLiterals() : Clasp::SharedLiterals
• SharedLitsClause() : Clasp::mt::SharedLitsClause
• SharedMinimizeData() : Clasp::SharedMinimizeData
• SharedSymTab() : Clasp::SharedContext::SharedSymTab
• shortImplications() : Clasp::SharedContext
• ShortImplicationsGraph() : Clasp::ShortImplicationsGraph
• shrink_left() : bk_lib::detail::left_right_rep< L, R >
• shrink_right() : bk_lib::detail::left_right_rep< L, R >
• shuffleOnNextSimplify() : Clasp::Solver
• shutdown() : Clasp::Cli::ClaspAppBase , Clasp::ClaspFacade , Clasp::Cli::Output , Clasp::Cli::JsonOutput , Clasp::Cli::TextOutput , ProgramOptions::Application
• siftdown() : bk_lib::indexed_priority_queue< Cmp >
• siftup() : bk_lib::indexed_priority_queue< Cmp >
• sigHandler() : ProgramOptions::Application
• sign() : Clasp::Literal , Clasp::ValueSet
• signValue() : Clasp::DomainHeuristic::DomEntry
• simplePropTest() : Clasp::Test::SharedClauseTest
• simplify() : Clasp::SharedContext , Clasp::Test::TestingConstraint , Clasp::WeightConstraint , Clasp::mt::SharedLitsClause , Clasp::SharedLiterals , Clasp::Clause , Clasp::LoopFormula , Clasp::Constraint , Clasp::EnumerationConstraint , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType > , Clasp::Asp::PrgBody , Clasp::UncoreMinimize , Clasp::SatPreprocessor::Clause , Clasp::Solver , Clasp::Solver::PPList , Clasp::DecisionHeuristic , Clasp::DomainHeuristic::DomMinimize , Clasp::Restricted , Clasp::ModelEnumerator::ModelFinder
• simplifyBody() : Clasp::Asp::Preprocessor , Clasp::Asp::LogicProgram , Clasp::Asp::PrgBody
• simplifyClassifiedProgram() : Clasp::Asp::Preprocessor
• simplifyConflictClause() : Clasp::Solver
• simplifyHead() : Clasp::Asp::Preprocessor
• simplifyHeads() : Clasp::Asp::PrgBody
• simplifyHeadsImpl() : Clasp::Asp::PrgBody
• simplifyMinimize() : Clasp::Asp::LogicProgram
• simplifyRule() : Clasp::Asp::LogicProgram
• simplifySAT() : Clasp::Solver
• simplifyShort() : Clasp::SharedContext
• simplifySupports() : Clasp::Asp::PrgHead
• SingleOwnerPtr() : Clasp::SingleOwnerPtr< T, D >
• Sink() : Clasp::Detail::Sink
• size() : Clasp::SharedLiterals , Clasp::ClauseCreator , Clasp::Clause , Clasp::LoopFormula , Clasp::mt::SharedLitsClause , Clasp::SymbolTable , Clasp::Asp::PrgBody , Clasp::Asp::PrgDisj , Clasp::UncoreMinimize::Core , Clasp::SatPreprocessor::Clause , Clasp::ShortImplicationsGraph , Clasp::QueueImpl , ProgramOptions::OptionGroup , Clasp::ClauseHead::Data::LocalClause , bk_lib::indexed_priority_queue< Cmp > , bk_lib::detail::left_right_rep< L, R > , Clasp::WeightConstraint , Clasp::WeightConstraint::WL , Clasp::Test::TestingConstraint , ProgramOptions::ValueMap , ProgramOptions::OptionContext , ProgramOptions::ParsedOptions , Clasp::Asp::BodyInfo , Clasp::ClauseHead , Clasp::PodQueue< T >
• sizeInit() : Clasp::ReduceParams
• skipComments() : Clasp::StreamParser
• skipSpace() : Clasp::StreamSource
• skipWhite() : Clasp::StreamSource
• SmallClauseAlloc() : Clasp::SmallClauseAlloc
• smaller_child() : bk_lib::indexed_priority_queue< Cmp >
• SolutionQueue() : Clasp::ModelEnumerator::SolutionQueue
• solve() : Clasp::ClaspFacade , Clasp::ClaspFacade::SolveStrategy , Clasp::BasicSolve , Clasp::SolveAlgorithm , Clasp::BasicSolve::State
• SolveAlgorithm() : Clasp::SolveAlgorithm
• SolveEvent() : Clasp::SolveEvent< T >
• SolveImpl() : Clasp::ClaspFacade::SolveImpl
• solveImpl() : Clasp::ClaspFacade::SolveStrategy
• SolveLimits() : Clasp::SolveLimits
• SolveParams() : Clasp::SolveParams
• solver() : Clasp::Test::WeightConstraintTest , Clasp::Test::UnfoundedCheckTest , Clasp::BasicSatConfig , Clasp::BasicSolve , Clasp::Configuration , Clasp::Test::ClauseCreatorTest
• Solver() : Clasp::Solver
• solver() : Clasp::SharedContext , Clasp::Test::ClauseCreatorTest
• SolverParams() : Clasp::SolverParams
• SolverStats() : Clasp::SolverStats
• SolverStrategies() : Clasp::SolverStrategies
• SolveStrategy() : Clasp::ClaspFacade::SolveStrategy
• SolveTestEvent() : Clasp::SolveTestEvent
• solving() : Clasp::ClaspFacade , Clasp::ClaspFacade::SolveImpl
• splice() : Clasp::Lookahead
• split() : Clasp::Timer< TimeType > , Clasp::Solver
• splitOcc() : Clasp::SatElite::SatElite
• splittable() : Clasp::Solver
• srand() : Clasp::RNG
• start() : Clasp::EnumerationConstraint , Clasp::UncoreMinimize::WCTemp , Clasp::ClauseCreator , Clasp::Enumerator , Clasp::Timer< TimeType > , Clasp::Asp::LogicProgram , Clasp::ClaspFacade
• startAddConstraints() : Clasp::SharedContext
• startAsp() : Clasp::ClaspFacade
• startAtom() : Clasp::Asp::LogicProgram
• startInit() : Clasp::DecisionHeuristic , Clasp::Restricted , Clasp::DomainHeuristic , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType > , Clasp::Solver , Clasp::ClaspBerkmin , Clasp::SymbolTable
• startModel() : Clasp::Cli::JsonOutput
• startObject() : Clasp::Cli::TextOutput
• startPB() : Clasp::ClaspFacade
• startProgram() : Clasp::ProgramBuilder
• startRule() : Clasp::Asp::LogicProgram
• startSat() : Clasp::ClaspFacade
• startSection() : Clasp::Cli::TextOutput
• startStep() : Clasp::Cli::JsonOutput , Clasp::ClaspFacade , Clasp::Cli::TextOutput , Clasp::Cli::Output
• state() : ProgramOptions::Value
• State() : Clasp::BasicSolve::State
• state() : ProgramOptions::Value , Clasp::CCMinRecursive , Clasp::EnumerationConstraint , Clasp::Asp::PrgHead
• Stats() : Clasp::SatPreprocessor::Stats
• stats() : Clasp::ClaspFacade::Summary , Clasp::SharedContext
• status() : Clasp::ClauseCreator
• step() : Clasp::ClaspFacade
• stepInit() : Clasp::DefaultMinimize
• stepLiteral() : Clasp::SharedContext
• stepLow() : Clasp::DefaultMinimize
• StepReady() : Clasp::ClaspFacade::StepReady
• StepStart() : Clasp::ClaspFacade::StepStart
• stop() : Clasp::Timer< TimeType >
• stopStep() : Clasp::Cli::JsonOutput , Clasp::ClaspFacade , Clasp::Cli::Output
• store_false() : ProgramOptions::FlagAction
• store_true() : ProgramOptions::FlagAction
• storeCommandArgs() : Clasp::Cli::ClaspAppBase
• StoredValue() : ProgramOptions::StoredValue< T >
• storeTo() : ProgramOptions::NotifiedValue< T >
• strategy() : Clasp::ModelEnumerator
• StreamParser() : Clasp::StreamParser
• StreamSource() : Clasp::StreamSource
• strengthen() : Clasp::SatPreprocessor::Clause , Clasp::ClauseHead , Clasp::mt::SharedLitsClause , Clasp::Clause
• strengthenClause() : Clasp::SatElite::SatElite
• strengthenConditional() : Clasp::Solver
• strengthened() : Clasp::ClauseHead::Data::LocalClause , Clasp::Clause
• String() : Clasp::SymbolTable::String
• StringWriter() : ProgramOptions::StringWriter
• sub() : Clasp::SharedMinimizeData
• subKeys() : Clasp::SolverStats
• subsumed() : Clasp::SatElite::SatElite
• subsumes() : Clasp::SatElite::SatElite
• succs() : Clasp::SharedDependencyGraph::AtomNode
• sum() : Clasp::DefaultMinimize , Clasp::SharedDependencyGraph::BodyNode , Clasp::Asp::BodyInfo
• summary() : Clasp::ClaspFacade
• SumQueue() : Clasp::SumQueue
• sumW() : Clasp::Asp::PrgBody
• superfluousHead() : Clasp::Asp::PrgBody
• supportedModels() : Clasp::Asp::LogicProgram::AspOptions
• supportedSolvers() : Clasp::BasicSolveOptions
• supports() : Clasp::Asp::PrgHead
• supportsParallel() : Clasp::Enumerator , Clasp::ModelEnumerator
• supportsRestarts() : Clasp::Enumerator , Clasp::ModelEnumerator
• supps_begin() : Clasp::Asp::PrgHead
• supps_end() : Clasp::Asp::PrgHead
• surrender() : ProgramOptions::ValueStore
• swap() : ProgramOptions::ValueStore , Clasp::SingleOwnerPtr< T, D > , ProgramOptions::detail::IntrusiveSharedPtr< T > , Clasp::Asp::Rule , Clasp::Literal
• swapMem() : bk_lib::indexed_priority_queue< Cmp >
• swapStats() : Clasp::SolverStats
• symbol_type() : Clasp::SymbolTable::symbol_type
• SymbolTable() : Clasp::SymbolTable
• symbolTable() : Clasp::SharedContext , Clasp::Solver
• SymbolTable() : Clasp::SymbolTable
• symmetric() : Clasp::Solver
• SyntaxError() : ProgramOptions::SyntaxError