Searched refs:upolynomial_exception (Results 1 – 6 of 6) sorted by relevance
39 class upolynomial_exception : public default_exception {41 upolynomial_exception(char const * msg):default_exception(msg) {} in upolynomial_exception() function
39 throw upolynomial_exception("The prime number attempted in factorization is too big!"); in get_p_from_manager()44 throw upolynomial_exception("The prime number attempted in factorization is too big!"); in get_p_from_manager()
158 throw upolynomial_exception(Z3_CANCELED_MSG); in checkpoint()854 throw upolynomial_exception(Z3_CANCELED_MSG); in euclid_gcd()