- r -
- range()
: func_decl
, FuncDeclRef
, ArrayRef
, ArraySortRef
- RatNum()
: RatNum
- ReadInterpolationProblem()
: InterpolationContext
- real_const()
: context
- real_sort()
: context
- real_val()
: context
- RealExpr()
: RealExpr
- RealSort()
: RealSort
- reason_unknown()
: solver
, Solver
, Fixedpoint
- recognizer()
: DatatypeSortRef
- ref()
: Context
- register_relation()
: Fixedpoint
- registerRelation()
: Fixedpoint
- RelationSort()
: RelationSort
- Repeat()
: Context
- repeat()
: Context
- reset()
: Solver
- Reset()
: Solver
- reset()
: Goal
, solver
, ASTMap
, goal
, Solver
, AstMap
- Reset()
: Goal
, ASTMap
- resetParameters()
: Global
- resize()
: AstVector
, ast_vector_tpl< T >
, ASTVector
- Resize()
: ASTVector
- rule()
: Fixedpoint