- r -

• range() : func_decl , ArrayRef , ArraySortRef , FuncDeclRef
• re_sort() : context
• ReadInterpolationProblem() : InterpolationContext
• real_const() : context
• real_sort() : context
• real_val() : context
• reason_unknown() : solver , Fixedpoint , Optimize , Solver
• recognizer() : DatatypeSortRef
• ref() : Context
• register_relation() : Fixedpoint
• registerRelation() : Fixedpoint
• RegisterRelation() : Fixedpoint
• repeat() : Context
• Repeat() : Context
• 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
• rule() : Fixedpoint