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

### - s -

- sat_refine_conflicts : CVC4::options
- satClauseDecay : CVC4::options
- SATISFIABLE : CVC3
- satRandomFreq : CVC4::options
- satRandomSeed : CVC4::options
- satRestartFirst : CVC4::options
- satRestartInc : CVC4::options
- satVarDecay : CVC4::options
- segvSpin : CVC4::options
- SELECT : CVC4::kind
- SELECTOR_TYPE : CVC4::kind
- semanticChecks : CVC4::options
- SET_TYPE : CVC4::kind
- SETMINUS : CVC4::kind
- setsEagerLemmas : CVC4::options
- setsPropagate : CVC4::options
- SEXPR : CVC4::kind
- SEXPR_TYPE : CVC4::kind
- sharingFilterByLength : CVC4::options
- simpleIteLiftQuant : CVC4::options
- SIMPLIFICATION_MODE_BATCH : CVC4
- SIMPLIFICATION_MODE_INCREMENTAL : CVC4
- SIMPLIFICATION_MODE_NONE : CVC4
- SimplificationMode : CVC4
- simplificationMode : CVC4::options
- simplifyWithCareEnabled : CVC4::options
- SINGLETON : CVC4::kind
- SKOLEM : CVC4::kind
- skolemizeArguments : CVC4::options
- smartTriggers : CVC4::options
- SMT_SATISFIABLE : CVC4
- SMT_UNKNOWN : CVC4
- SMT_UNSATISFIABLE : CVC4
- soiApproxMajorFailure : CVC4::options
- soiApproxMajorFailurePen : CVC4::options
- soiApproxMinorFailure : CVC4::options
- soiApproxMinorFailurePen : CVC4::options
- soiQuickExplain : CVC4::options
- SORT_TAG : CVC4::kind
- SORT_TYPE : CVC4::kind
- sortInference : CVC4::options
- Statistics : CVC3
- statistics : CVC4::options
- statsEveryQuery : CVC4::options
- statsHideZeros : CVC4::options
- STORE : CVC4::kind
- STORE_ALL : CVC4::kind
- strictParsing : CVC4::options
- STRING_CHARAT : CVC4::kind
- STRING_CONCAT : CVC4::kind
- STRING_IN_REGEXP : CVC4::kind
- STRING_ITOS : CVC4::kind
- STRING_LENGTH : CVC4::kind
- STRING_PREFIX : CVC4::kind
- STRING_STOI : CVC4::kind
- STRING_STOU16 : CVC4::kind
- STRING_STOU32 : CVC4::kind
- STRING_STRCTN : CVC4::kind
- STRING_STRIDOF : CVC4::kind
- STRING_STRREPL : CVC4::kind
- STRING_SUBSTR : CVC4::kind
- STRING_SUBSTR_TOTAL : CVC4::kind
- STRING_SUFFIX : CVC4::kind
- STRING_TO_REGEXP : CVC4::kind
- STRING_TYPE : CVC4
- STRING_U16TOS : CVC4::kind
- STRING_U32TOS : CVC4::kind
- stringCharCardinality : CVC4::options
- stringEIT : CVC4::options
- stringExp : CVC4::options
- stringFMF : CVC4::options
- stringLB : CVC4::options
- stringOpt1 : CVC4::options
- stringOpt2 : CVC4::options
- SUBRANGE_TYPE : CVC4::kind
- SUBSET : CVC4::kind
- SUBTYPE_TYPE : CVC4::kind
- SUM_METRIC : CVC4
- SYM_SORT : CVC4::parser
- SYM_VARIABLE : CVC4::parser
- SymbolType : CVC4::parser