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

- r -

• r : CheckSatResult
• Range : ArraySort
• range() : func_decl , FuncDeclRef
• Range : FuncDecl
• range() : ArraySortRef , ArrayRef
• Rational : FuncDecl.Parameter
• rcfAdd() : Native
• rcfDel() : Native
• rcfDiv() : Native
• rcfEq() : Native
• rcfGe() : Native
• rcfGetNumeratorDenominator() : Native
• rcfGt() : Native
• rcfInv() : Native
• rcfLe() : Native
• rcfLt() : Native
• rcfMkE() : Native
• rcfMkInfinitesimal() : Native
• rcfMkPi() : Native
• rcfMkRational() : Native
• rcfMkRoots() : Native
• rcfMkSmallInt() : Native
• rcfMul() : Native
• rcfNeg() : Native
• rcfNeq() : Native
• rcfNumToDecimalString() : Native
• rcfNumToString() : Native
• rcfPower() : Native
• rcfSub() : Native
• ReadInterpolationProblem() : InterpolationContext
• readInterpolationProblem() : Native
• real_const() : context
• real_sort() : context
• real_val() : context
• RealSort : Context
• reason_unknown() : solver , Solver , Fixedpoint , Optimize
• ReasonUnknown : Solver
• recognizer() : DatatypeSortRef
• Recognizers : DatatypeSort
• ref() : Context
• register_relation() : Fixedpoint
• registerRelation() : Fixedpoint
• RegisterRelation() : Fixedpoint
• repeat : tactic
• Repeat() : Context
• repeat() : Context
• reset() : AstMap , Goal , Solver , solver
• Reset() : Solver
• reset() : goal
• Reset() : Goal
• reset() : Solver
• resetMemory() : Native
• resetParameters() : Global
• resize() : AstVector , ast_vector_tpl< T > , ASTVector
• Resize() : ASTVector
• result : ApplyResult
• return_value : InterpolationContext.ReadInterpolationProblemResult , InterpolationContext.CheckInterpolantResult
• rule() : Fixedpoint
• Rules : Fixedpoint