- s -

• selectCols() : smtrat::qe::fm
• selectionSort() : Minisat
• selectRows() : smtrat::qe::fm
• setCPULimit() : smtrat::resource
• setHelpPrefixStr() : Minisat
• setMemoryLimit() : smtrat::resource
• setNullification() : smtrat::mcsat::onecellcad::recursive
• Settings() : smtrat
• settings_analyzer() : smtrat
• settings_benchmarks() : benchmax
• settings_cadpp() : smtrat::cad
• settings_core() : benchmax , smtrat
• settings_get() : benchmax
• settings_module() : smtrat
• settings_operation() : benchmax
• settings_parser() : smtrat
• settings_preset() : benchmax
• settings_slurm() : benchmax
• settings_solver() : smtrat
• settings_ssh() : benchmax
• settings_statistics() : smtrat
• settings_tools() : benchmax
• settings_validation() : smtrat
• setUsageHelp() : Minisat
• sgn() : smtrat::lve
• sgn_of_invariant_poly() : smtrat::lve
• sign() : Minisat
• signalHandler() : smtrat::resource
• simplest_biggest_cell_ordering() : smtrat::cadcells::representation::util
• simplest_bound() : smtrat::cadcells::representation::util
• simplest_chain_ordering() : smtrat::cadcells::representation::util
• simplest_ldb_ordering() : smtrat::cadcells::representation::util
• simplify() : smtrat::cadcells::representation::util , smtrat::covering_ng , smtrat::vs
• single() : smtrat::cad::projection::brown , smtrat::cad::projection::collins , smtrat::cad::projection::hong , smtrat::cad::projection::lazard , smtrat::cad::projection::mccallum , smtrat::cad::projection::mccallum_partial
• singleLevelFullProjection() : smtrat::mcsat::onecellcad
• sort() : Minisat
• sort_earliest_splitting() : smtrat::covering_ng::variables::impl
• sotd() : smtrat::covering_ng::formula::complexity
• sotd_reverse() : smtrat::covering_ng::formula::complexity
• split_quantifiers() : smtrat::qe::util
• splitProducts() : smtrat::vs
• splitSosDecompositions() : smtrat::vs
• statistics_get() : smtrat
• stillOccurs() : smtrat::mcsat::variableordering::detail
• substitute() : smtrat::mcsat::vs::helper , smtrat::vs
• substituteEpsGradients() : smtrat::vs
• substituteInf() : smtrat::vs
• substituteInfLessGreater() : smtrat::vs
• substituteNormal() : smtrat::vs
• substituteNormalSqrtEq() : smtrat::vs
• substituteNormalSqrtLeq() : smtrat::vs
• substituteNormalSqrtLess() : smtrat::vs
• substituteNormalSqrtNeq() : smtrat::vs
• substituteNotTrivialCase() : smtrat::vs
• substitutePlusEps() : smtrat::vs
• substituteTrivialCase() : smtrat::vs
• sum_max_degree() : smtrat::covering_ng::formula::complexity::features , smtrat::mcsat::variableordering::detail
• sum_max_total_degree() : smtrat::covering_ng::formula::complexity::features
• sum_sum_degree() : smtrat::covering_ng::formula::complexity::features , smtrat::mcsat::variableordering::detail
• sum_sum_total_degree() : smtrat::covering_ng::formula::complexity::features
• sum_total_degree() : smtrat::covering_ng::formula::complexity::features