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

### - r -

- ratExpr() : CVC3::ValidityChecker
- Rational() : CVC4::Rational
- RationalFromDoubleException() : CVC4::RationalFromDoubleException
- readExpr() : CVC3::ValidityChecker
- RealType() : CVC4::RealType
- realType() : CVC3::ValidityChecker, CVC4::ExprManager
- Record() : CVC4::Record
- recordExpr() : CVC3::ValidityChecker
- RecordSelect() : CVC4::RecordSelect
- RecordType() : CVC4::RecordType
- recordType() : CVC3::ValidityChecker
- RecordUpdate() : CVC4::RecordUpdate
- recSelectExpr() : CVC3::ValidityChecker
- recUpdateExpr() : CVC3::ValidityChecker
- RegExp() : CVC4::RegExp
- registerAtom() : CVC3::ValidityChecker
- replace() : CVC4::String
- reprocessFlags() : CVC3::ValidityChecker
- requirePhase() : CVC4::theory::TestOutputChannel
- reserveSymbolAtAssertionLevel() : CVC4::parser::Parser
- reset() : CVC3::ValidityChecker
- restart() : CVC3::ValidityChecker
- Result() : CVC4::Result
- returnFromCheck() : CVC3::ValidityChecker
- RewriteRuleCommand() : CVC4::RewriteRuleCommand
- rstrncmp() : CVC4::String