- r -

• rationalize() : carl
• rationalize< cln::cl_RA >() : carl
• rationalize< FLOAT_T< double > >() : carl
• rationalize< FLOAT_T< float > >() : carl
• rationalize< FLOAT_T< mpq_class > >() : carl
• rationalize< mpq_class >() : carl
• real_roots() : carl
• real_variables() : carl
• realRootsThom() : carl
• reciprocal() : carl
• relationIsSigned() : carl
• relationIsStrict() : carl
• remainder() : carl
• remainder_helper() : carl
• remove_duplicates() : carl::covering::heuristic
• replace_main_variable() : carl
• representingFormula() : carl
• resolve_negation() : carl
• resultant() : carl
• resultant_det() : carl::resultant_debug
• resultant_z3() : carl::resultant_debug
• returnFalse() : carl
• reverse() : carl::detail_sign_variations
• root_approximation() : carl::roots::eigen
• root_safe() : carl
• round() : carl
• roundDown() : carl
• roundUp() : carl