- s -

• sample : smtrat::covering_ng::ParameterTree
• sampleComparator : smtrat::cad::BaseSettings , smtrat::cad::SampleCompareMixin< SCS, FSCS >
• sampling_algorithm : smtrat::CoveringNGSettingsDefault , smtrat::LevelWiseInformation< Settings > , smtrat::NewCoveringSettings1 , smtrat::qe::coverings::DefaultSettings
• satisfiedClauses : smtrat::SATModule< Settings >
• sbatch_options : benchmax::settings::SlurmBackendSettings
• scriptScopes : smtrat::parser::ParserState
• SDPupperBoundNrVariables : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings43 , smtrat::GBSettings4 , smtrat::GBSettings5 , smtrat::GBSettings63 , smtrat::GBSettings6
• second : smtrat::cad::Origin::BaseType , smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >::QueueEntry , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::QueueEntry , smtrat::cadcells::datastructures::IndexedRootRelation
• second_active : smtrat::cad::Origin::BaseType
• sectionHeuristic : smtrat::mcsat::onecellcad::levelwise::SectionHeuristic1 , smtrat::mcsat::onecellcad::levelwise::SectionHeuristic2 , smtrat::mcsat::onecellcad::levelwise::SectionHeuristic3
• sectorHeuristic : smtrat::mcsat::onecellcad::levelwise::SectorHeuristic1 , smtrat::mcsat::onecellcad::levelwise::SectorHeuristic2 , smtrat::mcsat::onecellcad::levelwise::SectorHeuristic3
• seed : std::hash_combiner
• seen : smtrat::SATModule< Settings >
• semiRestrictedProjection : smtrat::NewCADBaseSettings , smtrat::NewCADSettingsEQ_B , smtrat::NewCADSettingsEQ_BD , smtrat::NewCADSettingsEQ_BR , smtrat::NewCADSettingsEQ_BRD , smtrat::NewCADSettingsEQ_BRI , smtrat::NewCADSettingsEQ_BRID , smtrat::NewCADSettingsEQ_BS , smtrat::NewCADSettingsEQ_BSD , smtrat::NewCADSettingsEQ_BSI , smtrat::NewCADSettingsEQ_BSID , smtrat::NewCADSettingsEQ_R , smtrat::NewCADSettingsEQ_RD , smtrat::NewCADSettingsEQ_RI , smtrat::NewCADSettingsEQ_RID , smtrat::NewCADSettingsEQ_S , smtrat::NewCADSettingsEQ_SD , smtrat::NewCADSettingsEQ_SI , smtrat::NewCADSettingsEQ_SID
• separatorType : smtrat::STropSettings1 , smtrat::STropSettings2 , smtrat::STropSettings2OutputOnly , smtrat::STropSettings3 , smtrat::STropSettings3b , smtrat::STropSettings3bOutputOnly , smtrat::STropSettings3OutputOnly
• session : benchmax::ssh::SSHConnection
• setCheckInequalitiesToBeginAfter : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings4 , smtrat::GBSettings5 , smtrat::GBSettings6
• setPolarity : smtrat::VarSchedulerBase
• sexpression : smtrat::parser::AttributeValueParser
• show_cmake_options : smtrat::settings::CoreSettings
• show_help : benchmax::settings::CoreSettings , smtrat::settings::CoreSettings
• show_info : smtrat::settings::CoreSettings
• show_license : smtrat::settings::CoreSettings
• show_settings : benchmax::settings::CoreSettings , smtrat::settings::CoreSettings
• show_strategy : smtrat::settings::CoreSettings
• show_version : smtrat::settings::CoreSettings
• side_condition : smtrat::mcsat::vs::helper::TestCandidate
• sign_variant : smtrat::subtropical::Moment
• simpDB_assigns : smtrat::SATModule< Settings >
• simpDB_props : smtrat::SATModule< Settings >
• simple : smtrat::parser::KeywordParser , smtrat::parser::SymbolParser
• simple_theory_propagation : smtrat::LRASettings1 , smtrat::LRASettings2 , smtrat::LRASettingsICP
• simpleSort : smtrat::parser::SortParser
• simplifyInequalityFunction : smtrat::GBPPModule< Settings >
• simplifyProjectionByBounds : smtrat::cad::BaseSettings , smtrat::NewCADBaseSettings , smtrat::NewCADSettingsEQ_B , smtrat::NewCADSettingsEQ_BD , smtrat::NewCADSettingsEQ_BR , smtrat::NewCADSettingsEQ_BRD , smtrat::NewCADSettingsEQ_BRI , smtrat::NewCADSettingsEQ_BRID , smtrat::NewCADSettingsEQ_BS , smtrat::NewCADSettingsEQ_BSD , smtrat::NewCADSettingsEQ_BSI , smtrat::NewCADSettingsEQ_BSID , smtrat::NewCADSettingsEQ_R , smtrat::NewCADSettingsEQ_RD , smtrat::NewCADSettingsEQ_RI , smtrat::NewCADSettingsEQ_RID , smtrat::NewCADSettingsEQ_S , smtrat::NewCADSettingsEQ_SD , smtrat::NewCADSettingsEQ_SI , smtrat::NewCADSettingsEQ_SID , smtrat::NewCADSettingsFOS
• Singleton< ApxCriteria > : smtrat::cadcells::representation::approximation::ApxCriteria
• size : Minisat::Clause , Minisat::Map< K, D, H, E >
• slice_size : benchmax::settings::SlurmBackendSettings , benchmax::slurm::ChunkedSubmitfileProperties
• slices : benchmax::slurm::SubmitfileProperties
• smtlib_filename : smtrat::validation::ValidationSettings
• softClauses : smtrat::maxsmt::MaxSMTBackend< Solver, MaxSMTStrategy::FU_MALIK_INCREMENTAL > , smtrat::maxsmt::MaxSMTBackend< Solver, MaxSMTStrategy::LINEAR_SEARCH > , smtrat::maxsmt::MaxSMTBackend< Solver, MaxSMTStrategy::MSU3 >
• solver : smtrat::Executor< Strategy > , smtrat::SATModule< Settings >::lemma_lt
• solves : smtrat::SATModule< Settings >
• sort : smtrat::parser::QualifiedIdentifierParser , smtrat::parser::ScriptParser< Callee > , smtrat::parser::SortedVariableParser , smtrat::parser::SortParser , smtrat::parser::UserFunctionInstantiator
• sortedvariable : smtrat::parser::ScriptParser< Callee > , smtrat::parser::TermParser
• sorts : smtrat::parser::Theories::SimpleSortAdder
• specconstant : smtrat::parser::AttributeValueParser , smtrat::parser::SExpressionParser , smtrat::parser::TermParser
• split_by_division_with_zero : smtrat::ICPSettings1 , smtrat::ICPSettings3
• SPLIT_EQUALITIES : smtrat::PBPPSettingsBase
• split_for_integers : smtrat::NewCADBaseSettings
• split_neq_constraints : smtrat::VSSettings1
• splitSOSFunction : smtrat::SplitSOSModule< Settings >
• splitting_heuristic_nia : smtrat::ICPSettings1
• splitting_heuristic_nra : smtrat::ICPSettings1
• ss : smtrat::parser::TheoryError
• start_time : benchmax::settings::CoreSettings
• start_width : smtrat::IncWidthSettings1
• starts : smtrat::SATModule< Settings >
• state : smtrat::Executor< Strategy > , smtrat::parser::AbstractTheory , smtrat::parser::ScriptParser< Callee > , smtrat::parser::SMTLIBParser , smtrat::parser::Theories
• status : smtrat::covering_ng::CoveringResult< PropertiesSet > , smtrat::covering_ng::ParameterTree
• stderr : benchmax::BenchmarkResult
• stdout : benchmax::BenchmarkResult
• steps : smtrat::cad::debug::UnifiedData
• sternBrocotHigherPrecisionFactor : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings6
• sternBrocotHigherPrecisionSteps : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings6
• sternBrocotStartPrecisionOneTo : smtrat::GBSettings1 , smtrat::GBSettings3 , smtrat::GBSettings6
• stop_search_after_first_unknown : smtrat::SATSettings1 , smtrat::SATSettingsStopAfterUnknown
• stored_id : benchmax::BenchmarkResult
• streams : smtrat::parser::InstructionHandler
• strict : smtrat::ICEModule< Settings >::Coefficient
• string : smtrat::parser::ScriptParser< Callee > , smtrat::parser::SpecConstantParser
• sturm_sequence_for_root_check : smtrat::VSSettings1
• subformula : smtrat::covering_ng::formula::formula_ds::NOT
• subformulas : smtrat::covering_ng::formula::formula_ds::AND , smtrat::covering_ng::formula::formula_ds::IFF , smtrat::covering_ng::formula::formula_ds::OR , smtrat::covering_ng::formula::formula_ds::XOR
• submission_delay : benchmax::settings::SlurmBackendSettings
• substitution_bitsize_limit : smtrat::ESSettingsDefault , smtrat::ESSettingsLimitSubstitution
• subtreeWidth : smtrat::cad::debug::TikzTreePrinter::UnifiedNode
• suf : smtrat::parser::OutputWrapper
• suitable : smtrat::cad::ProjectionLevelInformation::EquationalConstraint
• sum_deg : smtrat::cad::variable_ordering::triangular_data
• symbol : smtrat::parser::AttributeValueParser , smtrat::parser::Identifier , smtrat::parser::IdentifierParser , smtrat::parser::ScriptParser< Callee > , smtrat::parser::SExpressionParser , smtrat::parser::SortedVariableParser , smtrat::parser::SortParser , smtrat::parser::TermParser
• symmetric : smtrat::mcsat::fm::DefaultComparator , smtrat::mcsat::fm::MaxSizeComparator , smtrat::mcsat::fm::MinSizeComparator , smtrat::mcsat::fm::MinVarCountComparator
• sz : Minisat::RegionAllocator< T > , Minisat::vec< T >