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

### - c -

- CARD_FINITE : CVC3
- CARD_INFINITE : CVC3
- CARD_UNKNOWN : CVC3
- CARDINALITY_CONSTRAINT : CVC4::kind
- cbqi : CVC4::options
- CHAIN : CVC4::kind
- CHAIN_OP : CVC4::kind
- CHECK_DECLARED : CVC4::parser
- CHECK_NONE : CVC4::parser
- CHECK_UNDECLARED : CVC4::parser
- CheckArgument() : CVC4
- checkModels : CVC4::options
- checkProofs : CVC4::options
- clauseSplit : CVC4::options
- CLFLAG_BOOL : CVC3
- CLFLAG_INT : CVC3
- CLFLAG_NULL : CVC3
- CLFLAG_STRING : CVC3
- CLFLAG_STRVEC : CVC3
- CLFlagType : CVC3
- cnfQuant : CVC4::options
- collectPivots : CVC4::options
- COMBINED_CARDINALITY_CONSTRAINT : CVC4::kind
- CommandList : CVC4::smt
- compare() : CVC3
- compressItes : CVC4::options
- CONCAT : CVC3
- condenseFunctionValues : CVC4::options
- 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
- continuedExecution : CVC4::options
- cumulativeMillisecondLimit : CVC4::options
- cumulativeResourceLimit : CVC4::options
- currentProofManager() : CVC4::smt
- CVC3CardinalityKind : CVC3