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

### - r -

- REAL_TYPE : CVC4
- RECORD : CVC4::kind
- RECORD_SELECT : CVC4::kind
- RECORD_SELECT_OP : CVC4::kind
- RECORD_TYPE : CVC4::kind
- RECORD_UPDATE : CVC4::kind
- RECORD_UPDATE_OP : CVC4::kind
- recurseCbqi : CVC4::options
- REGEXP_CONCAT : CVC4::kind
- REGEXP_EMPTY : CVC4::kind
- REGEXP_INTER : CVC4::kind
- REGEXP_LOOP : CVC4::kind
- REGEXP_OPT : CVC4::kind
- REGEXP_PLUS : CVC4::kind
- REGEXP_RANGE : CVC4::kind
- REGEXP_SIGMA : CVC4::kind
- REGEXP_STAR : CVC4::kind
- REGEXP_TYPE : CVC4
- REGEXP_UNION : CVC4::kind
- registerQuantBodyTerms : CVC4::options
- relationalTriggers : CVC4::options
- relevantTriggers : CVC4::options
- repeatSimp : CVC4::options
- replayEarlyCloseDepths : CVC4::options
- replayFailureLemma : CVC4::options
- replayFailurePenalty : CVC4::options
- replayFilename : CVC4::options
- replayLog : CVC4::options
- replayNumericFailurePenalty : CVC4::options
- replayRejectCutSize : CVC4::options
- replayStream : CVC4::options
- restrictedPivots : CVC4::options
- revertArithModels : CVC4::options
- REWRITE_RULE : CVC4::kind
- rewriteApplyToConst : CVC4::options
- rewriteDivk : CVC4::options
- RR_DEDUCTION : CVC4::kind
- RR_REDUCTION : CVC4::kind
- RR_REWRITE : CVC4::kind
- RRHB_TYPE : CVC4
- rrOneInstPerRound : CVC4::options
- rrTurns : CVC4::options