- s -

• S : carl::CompactTree< Entry, FastIndex >::Node
• searchLinear : carl::StdMultivariatePolynomialPolicies< ReasonsAdaptor, Allocator >
• seed : carl::hash_inserter< T >
• selectionType : carl::strategy
• set_nameMutex : carl::VariablePool
• side_condition : carl::vs::zero< Poly >
• simplify_by_factorization : carl::ran::interval::RealRootIsolation< Number >
• Singleton< BVConstraintPool > : carl::BVConstraintPool
• Singleton< BVTermPool > : carl::BVTermPool
• Singleton< FormulaPool > : carl::FormulaPool< Pol >
• Singleton< Pool< Content > > : carl::pool::Pool< Content >
• Singleton< SortManager > : carl::SortManager
• Singleton< SortValueManager > : carl::SortValueManager
• Singleton< UFInstanceManager > : carl::UFInstanceManager
• Singleton< UFManager > : carl::UFManager
• Singleton< VariablePool > : carl::VariablePool
• skipper : carl::io::parser::Parser< Pol >
• sqrt_ex : carl::vs::zero< Poly >
• supportDeduplicationWhileOrdering : carl::CriticalPairConfiguration< Compare > , carl::ReductorConfiguration< Polynomial >
• SystemName : carl::CompileInfo
• SystemVersion : carl::CompileInfo