Here is a list of all enum values with links to the structures/unions they belong to:

- EQUAL : CVC4::Cardinality
- GREATER : CVC4::Cardinality
- INCOMPLETE : CVC4::Result
- INTERRUPTED : CVC4::Result
- INVALID : CVC4::Result
- LESS : CVC4::Cardinality
- MEMOUT : CVC4::Result
- NO_STATUS : CVC4::Result
- OTHER : CVC4::Result
- REQUIRES_FULL_CHECK : CVC4::Result
- RESOURCEOUT : CVC4::Result
- SAT : CVC4::Result
- SAT_UNKNOWN : CVC4::Result
- SORT_FLAG_NONE : CVC4::ExprManager
- SORT_FLAG_PLACEHOLDER : CVC4::ExprManager
- TIMEOUT : CVC4::Result
- TYPE_NONE : CVC4::Result
- TYPE_SAT : CVC4::Result
- TYPE_VALIDITY : CVC4::Result
- UNKNOWN : CVC4::Cardinality
- UNKNOWN_REASON : CVC4::Result
- UNSAT : CVC4::Result
- UNSUPPORTED : CVC4::Result
- VALID : CVC4::Result
- VALIDITY_UNKNOWN : CVC4::Result
- VAR_FLAG_DEFINED : CVC4::ExprManager
- VAR_FLAG_GLOBAL : CVC4::ExprManager
- VAR_FLAG_NONE : CVC4::ExprManager