- r -
- range() : func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- 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
- 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_relation() : fixedpoint, Fixedpoint
- registerRelation() : Fixedpoint
- repeat() : Context, expr
- replace() : expr
- reset() : Goal, Solver, goal, solver, AstMap, Solver
- resetMemory() : Native
- resetParameters() : Global
- resize() : ASTVector, array< T >, ast_vector_tpl< T >, AstVector
- rotate_left() : expr
- rotate_right() : expr
- rule() : Fixedpoint
- rules() : fixedpoint