- r -
- range() : func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- re_sort() : context
- real_const() : context
- real_sort() : context
- real_val() : context
- reason_unknown() : fixedpoint, solver, Fixedpoint, Optimize, Solver
- recdef() : context
- recfun() : context
- recognizer() : DatatypeSortRef
- ref() : Context
- register_final() : user_propagator_base
- register_relation() : fixedpoint, Fixedpoint
- registerRelation() : Fixedpoint
- RegisterRelation() : Fixedpoint
- repeat() : Context
- Repeat() : Context
- repeat() : expr
- 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
- rotate_left() : expr
- rotate_right() : expr
- rule() : Fixedpoint
- rules() : fixedpoint