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() : func_decl , ArrayRef , ArraySortRef , FuncDeclRef
• Rational : FuncDecl.Parameter
• re_sort() : context
• ReadInterpolationProblem() : InterpolationContext
• real_const() : context
• real_sort() : context
• real_val() : context
• RealSort : Context
• reason_unknown() : solver , Fixedpoint , Optimize , Solver
• ReasonUnknown : Optimize , Solver
• recognizer() : DatatypeSortRef
• Recognizers : DatatypeSort
• ref() : Context
• register_relation() : Fixedpoint
• registerRelation() : Fixedpoint
• RegisterRelation() : Fixedpoint
• repeat() : Context
• Repeat() : Context
• repeat : tactic
• replace() : expr
• reset() : Goal , Solver
• Reset() : ASTMap , Goal , Solver
• reset() : goal , solver , AstMap , Solver
• resetParameters() : Global
• resize() : ASTVector
• Resize() : ASTVector
• resize() : ast_vector_tpl< T > , AstVector
• result : ApplyResult
• return_value : InterpolationContext.CheckInterpolantResult , InterpolationContext.ReadInterpolationProblemResult
• rule() : Fixedpoint
• Rules : Fixedpoint