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

### - c -

- CARD_FINITE : CVC3
- CARD_INFINITE : CVC3
- CARD_UNKNOWN : CVC3
- CARDINALITY_CONSTRAINT : CVC4::kind
- CHAIN : CVC4::kind
- CHAIN_OP : CVC4::kind
- CHECK_DECLARED : CVC4::parser
- CHECK_NONE : CVC4::parser
- CHECK_UNDECLARED : CVC4::parser
- CLFLAG_BOOL : CVC3
- CLFLAG_INT : CVC3
- CLFLAG_NULL : CVC3
- CLFLAG_STRING : CVC3
- CLFLAG_STRVEC : CVC3
- COMBINED_CARDINALITY_CONSTRAINT : CVC4::kind
- CONFLICT : CVC4::theory
- CONST_BITVECTOR : CVC4::kind
- CONST_BOOLEAN : CVC4::kind
- CONST_RATIONAL : CVC4::kind
- CONST_REGEXP : CVC4::kind
- CONST_STRING : CVC4::kind
- CONSTRUCTOR_TYPE : CVC4::kind