- r -
- range()
: z3
- RatVal()
: z3py
- Re()
: z3py
- re_complement()
: z3
- re_empty()
: z3
- re_full()
: z3
- re_intersect()
: z3
- Real()
: z3py
- Reals()
: z3py
- RealSort()
: z3py
- RealVal()
: z3py
- RealVar()
: z3py
- RealVarVector()
: z3py
- RealVector()
: z3py
- RecAddDefinition()
: z3py
- recfun()
: z3
- RecFunction()
: z3py
- rem()
: z3
- repeat()
: z3
- Repeat()
: z3py
- RepeatBitVec()
: z3py
- Replace()
: z3py
- reset_params()
: z3
, z3py
- ReSort()
: z3py
- RNA()
: z3py
- RNE()
: z3py
- RotateLeft()
: z3py
- RotateRight()
: z3py
- RoundNearestTiesToAway()
: z3py
- RoundNearestTiesToEven()
: z3py
- RoundTowardNegative()
: z3py
- RoundTowardPositive()
: z3py
- RoundTowardZero()
: z3py
- RTN()
: z3py
- RTP()
: z3py
- RTZ()
: z3py