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

- s -

• SAMPLE_MID : smtrat::cadcells::representation::approximation
• SampleCompareLS : smtrat::cad
• SampleCompareLT : smtrat::cad
• SampleCompareLTA : smtrat::cad
• SampleCompareLTS : smtrat::cad
• SampleCompareLTSA : smtrat::cad
• SampleCompareS : smtrat::cad
• SampleCompareStrategy : smtrat::cad
• SampleCompareT : smtrat::cad
• SampleCompareTLSA : smtrat::cad
• SampleCompareTS : smtrat::cad
• SampleCompareTSA : smtrat::cad
• SampleCompareType : smtrat::cad
• SampleCompareValue : smtrat::cad
• SampledDerivationRef : smtrat::cadcells::datastructures
• SampleLiftedWith : smtrat::cad
• SampleRootOf : smtrat::cad
• SamplingAlgorithm : smtrat::covering_ng , smtrat
• SAT : smtrat::execution , smtrat
• selectCols() : smtrat::qe::fm
• selectionSort() : Minisat
• selectRows() : smtrat::qe::fm
• SeparatorType : smtrat::subtropical
• set_icpVariable : smtrat::icp
• setCPULimit() : smtrat::resource
• setHelpPrefixStr() : Minisat
• setMemoryLimit() : smtrat::resource
• setNullification() : smtrat::mcsat::onecellcad::recursive
• Settings : smtrat::qe::coverings , 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
• SExpression : smtrat::parser
• sgn() : smtrat::lve
• sgn_of_invariant_poly() : smtrat::lve
• SharedVector : smtrat::mcsat
• ShmemAllocator : smtrat::mcsat
• ShrinkResult : smtrat::mcsat::onecellcad::recursive
• sign() : Minisat
• signalHandler() : smtrat::resource
• SIMPLE : smtrat::cadcells::representation::approximation
• SIMPLE_REPRESENTATION : smtrat::cadcells::representation::approximation
• 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
• SimplifierChain : smtrat::expression::simplifier
• 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
• SplittingHeuristic : smtrat
• SqrtEx : smtrat
• START : smtrat::execution
• Statistics : smtrat
• statistics_get() : smtrat
• Status : smtrat::covering_ng
• STERN_BROCOT : smtrat::cadcells::representation::approximation
• stillOccurs() : smtrat::mcsat::variableordering::detail
• SUBSET : smtrat::covering_ng::formula::formula_ds
• 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
• SubstitutionFastPointerMap : 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
• SUPSET : smtrat::covering_ng::formula::formula_ds
• SystemName : smtrat::compile_information
• SystemVersion : smtrat::compile_information