- 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
- repeat()
: expr
- replace()
: expr
- reset()
: goal
, solver
, AstMap
, Solver
- resize()
: array< T >
, ast_vector_tpl< T >
, AstVector
- rotate_left()
: expr
- rotate_right()
: expr
- rule()
: Fixedpoint
- rules()
: fixedpoint