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

- s -

• 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
• Sharer() : Sharer
• SharingEntity() : SharingEntity
• SharingStrategy() : SharingStrategy
• shrink_structures() : Formula
• shrinkDatabase() : ClauseDatabase, ClauseDatabaseBufferPerEntity, ClauseDatabaseMallob, ClauseDatabasePerSize, ClauseDatabaseSingleBuffer
• shrinkFilter() : MallobSharing
• SimpleSharing() : SimpleSharing
• size() : Bitset, ClauseBuffer
• solve() : Cadical, GlucoseSyrup, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, preprocess, SolverInterface, StructuredBVA, YalSat
• SolverCdclInterface() : SolverCdclInterface
• SolverInterface() : SolverInterface
• SolvingCdclStatistics() : SolvingCdclStatistics
• sortLiterals() : ClauseExchange
• sortLiteralsDescending() : ClauseExchange
• StructuredBVA() : StructuredBVA