Here is a list of all namespace enum values with links to the namespace documentation for each enum value:

### - s -

- SATISFIABLE : CVC3
- SELECT : CVC4::kind
- SELECTOR_TYPE : CVC4::kind
- SET_TYPE : CVC4::kind
- SETMINUS : CVC4::kind
- SEXPR : CVC4::kind
- SEXPR_TYPE : CVC4::kind
- SIMPLIFICATION_MODE_BATCH : CVC4
- SIMPLIFICATION_MODE_INCREMENTAL : CVC4
- SIMPLIFICATION_MODE_NONE : CVC4
- SINGLETON : CVC4::kind
- SKOLEM : CVC4::kind
- SMT_SATISFIABLE : CVC4
- SMT_UNKNOWN : CVC4
- SMT_UNSATISFIABLE : CVC4
- SORT_TAG : CVC4::kind
- SORT_TYPE : CVC4::kind
- STORE : CVC4::kind
- STORE_ALL : CVC4::kind
- 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
- SUBRANGE_TYPE : CVC4::kind
- SUBSET : CVC4::kind
- SUBTYPE_TYPE : CVC4::kind
- SUM_METRIC : CVC4
- SYM_SORT : CVC4::parser
- SYM_VARIABLE : CVC4::parser