Here is a list of all documented class members with links to the class documentation for each member:

- s -

• s_instanceCounts : SolverInterface
• selectedGlobal : SharingStrategyFactory
• selectedLocal : SharingStrategyFactory
• selection : HordeSatSharing, SimpleSharing
• send_end_request : GlobalSharingStrategy
• sendRequests : GenericGlobalSharing
• serializeClauses() : AllGatherSharing, GenericGlobalSharing
• set() : Bitset
• setFamily() : Kissat, KissatMABSolver
• setId() : Sharer
• setInitialized() : SolverInterface
• setPhase() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, LocalSearchInterface, MapleCOMSPSSolver, MiniSat, SolverCdclInterface, YalSat
• setSharingId() : SharingEntity
• setSolverId() : SolverInterface
• setSolverInterrupt() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• setSolverTypeId() : SolverInterface
• setThreadAffinity() : Sharer
• setVarCount() : Formula
• sharedClauses : SharingStatistics
• sharedDuplicasAvoided : GlobalSharingStatistics
• Sharer() : Sharer
• sharer : Sharer
• SharingEntity() : SharingEntity
• sharingStrategies : Sharer
• SharingStrategy() : SharingStrategy
• shrink_structures() : Formula
• shrinkDatabase() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• shrinkFilter() : MallobSharing
• SimpleSharing() : SimpleSharing
• size() : Bitset, ClauseBuffer, ClauseExchange
• sizeLimit : MiniSat, SimpleSharing
• sizeLimitAtImport : MallobSharing
• sleepTime : MallobSharing
• solve() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• solver : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat
• SolverCdclInterface() : SolverCdclInterface
• SolverInterface() : SolverInterface
• SolvingCdclStatistics() : SolvingCdclStatistics
• sortLiterals() : ClauseExchange
• sortLiteralsDescending() : ClauseExchange
• stats : SharingStrategy
• stopSolver : Cadical, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver
• StructuredBVA() : StructuredBVA
• subscribers : GenericGlobalSharing
• subscriptions : GenericGlobalSharing