Here is a list of all namespace variables with links to the namespace documentation for each variable:

### - r -

- recurseCbqi : CVC4::options
- 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
- rewriteApplyToConst : CVC4::options
- rewriteDivk : CVC4::options
- rrOneInstPerRound : CVC4::options
- rrTurns : CVC4::options