Z3 |

Here is a list of all struct and union fields with links to the structures/unions they belong to:

### - r -

- r : CheckSatResult
- Range : ArraySort, FuncDecl
- range : expr, func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- Rational : FuncDecl.Parameter
- re_sort() : context
- real_const() : context
- real_sort() : context
- real_val() : context
- RealSort : Context
- reason_unknown() : fixedpoint, solver, Fixedpoint, Optimize, Solver
- ReasonUnknown : Optimize, Solver
- recdef() : context
- recfun() : context
- recognizer() : DatatypeSortRef
- Recognizers : DatatypeSort
- ref() : Context
- register_final() : user_propagator_base
- register_relation() : fixedpoint, Fixedpoint
- registerRelation() : Fixedpoint
- RegisterRelation() : Fixedpoint
- rem : expr
- repeat() : Context
- Repeat() : Context
- repeat() : expr, tactic
- replace() : expr
- reset() : Goal, Solver
- Reset() : Goal, Solver
- reset() : goal, solver, AstMap, Solver
- resetParameters() : Global
- resize() : ASTVector
- Resize() : ASTVector
- resize() : array< T >, ast_vector_tpl< T >, AstVector
- result : ApplyResult
- rotate_left() : expr
- rotate_right() : expr
- round_fpa_to_closest_integer : expr
- rule() : Fixedpoint
- Rules : Fixedpoint
- rules() : fixedpoint