- s -

• safe_name() : carl::Variable
• sanitize() : carl::policies< Number, Interval > , carl::policies< double, Interval >
• sd() : carl::ThomEncoding< Number >
• second() : carl::BVTerm
• second_case() : carl::Formula< Pol >
• select_set() : carl::covering::SetCover
• set() : carl::Bitset , carl::covering::SetCover , carl::covering::TypedSetCover< Set > , carl::Interval< Number >
• set_activity() : carl::Formula< Pol >
• set_count() : carl::covering::SetCover
• set_cover() : carl::covering::TypedSetCover< Set >
• set_interval() : carl::Bitset
• set_lhs() : carl::BasicConstraint< Pol >
• set_lower() : carl::Interval< Number >
• set_lower_bound() : carl::Interval< Number >
• set_lower_bound_type() : carl::Interval< Number >
• set_name() : carl::statistics::Statistics , carl::VariablePool
• set_polynomial() : carl::IntRepRealAlgebraicNumber< Number >
• set_prefix() : carl::VariablePool
• set_relation() : carl::BasicConstraint< Pol >
• set_upper() : carl::Interval< Number >
• set_upper_bound() : carl::Interval< Number >
• set_upper_bound_type() : carl::Interval< Number >
• setBit() : carl::BitVector
• setCoefficient() : carl::FactorizedPolynomial< P >
• setCriticalPairs() : carl::Buchberger< Polynomial, AddingPolicy >
• setDepConstant() : carl::MultivariateHorner< PolynomialType, strategy >
• setDependent() : carl::MultivariateHorner< PolynomialType, strategy >
• setExponent() : carl::MultivariateHorner< PolynomialType, strategy >
• setIdeal() : carl::Buchberger< Polynomial, AddingPolicy >
• setImplicitMultiplicationMode() : carl::io::StringParser
• setIndepConstant() : carl::MultivariateHorner< PolynomialType, strategy >
• setIndependent() : carl::MultivariateHorner< PolynomialType, strategy >
• setInfo() : carl::io::SMTLIBStream
• setInputString() : carl::io::InvalidInputStringException
• setNewFactors() : carl::PolynomialFactorizationPair< P >
• setOption() : carl::io::SMTLIBStream
• setPrecision() : carl::FLOAT_T< FloatType >
• setReason() : carl::BVReasons , carl::NoReasons
• setReasons() : carl::BVReasons , carl::NoReasons
• setRoot() : carl::tree< T >
• setSumOfTermsForm() : carl::io::StringParser
• setVariable() : carl::MultivariateHorner< PolynomialType, strategy >
• setVariables() : carl::io::StringParser
• sgn() : carl::Interval< Number > , carl::RealAlgebraicNumberThom< Number > , carl::ThomEncoding< Number > , carl::UnivariatePolynomial< Coefficient >
• sgnReprNum() : carl::ThomEncoding< Number >
• shift() : carl::BVValue
• shrink_by() : carl::Interval< Number >
• shrink_times() : carl::Interval< Number >
• sibling() : carl::CompactTree< Entry, FastIndex >::Node
• sigmaToTheAlpha() : carl::SignDetermination< Number >
• sign_condition() : carl::RealAlgebraicNumberThom< Number >
• signaling_NaN() : std::numeric_limits< carl::FLOAT_T< Number > >
• signCondition() : carl::ThomEncoding< Number >
• SignDetermination() : carl::SignDetermination< Number >
• signExpr() : carl::io::parser::ExpressionParser< Pol >
• signOnPolynomial() : carl::ThomEncoding< Number >
• signs() : carl::SignDetermination< Number >
• simplify() : carl::RationalFunction< Pol, AutoSimplify >
• simplify_to_point() : carl::IntRepRealAlgebraicNumber< Number >::content
• sin() : carl::FLOAT_T< FloatType >
• sin_assign() : carl::FLOAT_T< FloatType >
• sin_down() : carl::rounding< Number >
• sin_up() : carl::rounding< Number >
• single_variable() : carl::FactorizedPolynomial< P > , carl::Monomial , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::Term< Coefficient >
• SingleTermSFP() : carl::BuchbergerStats
• Singleton() : carl::Singleton< T >
• sinh() : carl::FLOAT_T< FloatType >
• sinh_assign() : carl::FLOAT_T< FloatType >
• sinh_down() : carl::rounding< Number >
• sinh_up() : carl::rounding< Number >
• size() : carl::Bitset , carl::BitVector , carl::carlVariables , carl::CompactTree< Entry, FastIndex > , carl::CriticalPairs< Datastructure, Configuration > , carl::FactorizedPolynomial< P > , carl::Formula< Pol > , carl::FormulaPool< Pol > , carl::GaloisField< IntegerType > , carl::Heap< C > , carl::IDPool , carl::Model< Rational, Poly > , carl::MonomialPool , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::PrimeFactory< T >
• sizeOfZeroSet() : carl::SignDetermination< Number >
• skipChildren() : carl::tree_detail::PreorderIterator< T, reverse >
• Skipper() : carl::io::Skipper
• SMTLIBOutputContainer() : carl::io::detail::SMTLIBOutputContainer< Args >
• SMTLIBScriptContainer() : carl::io::detail::SMTLIBScriptContainer< Pol >
• solveMultivariateDiophantine() : carl::DiophantineEquations< Integer >
• sort() : carl::BVVariable
• Sort() : carl::Sort
• sort() : carl::SortValue
• sortByLeadingTerm() : sortByLeadingTerm< Polynomial >
• sortByPolSize() : sortByPolSize< Polynomial >
• SortContent() : carl::SortContent
• SortManager() : carl::SortManager
• SortValue() : carl::SortValue
• SortValueManager() : carl::SortValueManager
• split() : carl::Interval< Number >
• SPolPair() : carl::SPolPair
• sqrt() : carl::FactorizedPolynomial< P > , carl::FLOAT_T< FloatType > , carl::Monomial , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::Term< Coefficient >
• sqrt_assign() : carl::FLOAT_T< FloatType >
• sqrt_down() : carl::rounding< Number >
• sqrt_ex() : carl::vs::Term< Poly >
• sqrt_up() : carl::rounding< Number >
• SqrtEx() : carl::SqrtEx< Poly >
• start() : carl::statistics::Timer
• start_this() : carl::statistics::Timer
• Statistics() : carl::statistics::Statistics
• statistics() : carl::statistics::StatisticsCollector
• str() : carl::io::SMTLIBStream
• StreamSink() : carl::logging::StreamSink
• strengthenActivity() : carl::Cache< T > , carl::FactorizedPolynomial< P >
• StringParser() : carl::io::StringParser
• strip_leading_zeroes() : carl::UnivariatePolynomial< Coefficient >
• strip_lterm() : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• sub() : carl::FLOAT_T< FloatType > , carl::Interval< Number >
• sub_assign() : carl::FLOAT_T< FloatType > , carl::Interval< Number >
• sub_down() : carl::rounding< Number >
• sub_up() : carl::rounding< Number >
• subformula() : carl::Formula< Pol >
• subformulas() : carl::Formula< Pol >
• subsetOf() : carl::BitVector
• substitute() : carl::BVTerm , carl::ran::interval::LazardEvaluation< Rational, Poly > , carl::RationalFunction< Pol, AutoSimplify >
• Substitution() : carl::vs::detail::Substitution< Poly >
• Substitutor() : carl::helper::Substitutor< Pol >
• subtractProduct() : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• success() : carl::DivisionLookupResult< Polynomial >
• suffix() : carl::logging::Formatter
• sumOfAllUsageCounts() : carl::Cache< T >
• swap() : carl::CompactTree< Entry, FastIndex >
• symmetric_modulo() : carl::GaloisField< IntegerType >
• symmetries() : carl::formula::symmetry::GraphBuilder< Poly >
• synthetic_division() : carl::UnivariatePolynomial< Coefficient >