Public Member Functions
	const_bool_nodef (check_overflow, true)
	Check for overflowed result. More...

	const_bool_nodef (check_inf_add_inf, false)
	Do not check for attempts to add infinities with different sign. More...

	const_bool_nodef (check_inf_sub_inf, false)
	Do not check for attempts to subtract infinities with same sign. More...

	const_bool_nodef (check_inf_mul_zero, false)
	Do not check for attempts to multiply infinities by zero. More...

	const_bool_nodef (check_div_zero, false)
	Do not check for attempts to divide by zero. More...

	const_bool_nodef (check_inf_div_inf, false)
	Do not check for attempts to divide infinities. More...

	const_bool_nodef (check_inf_mod, false)
	Do not check for attempts to compute remainder of infinities. More...

	const_bool_nodef (check_sqrt_neg, false)
	Do not checks for attempts to take the square root of a negative number. More...

	const_bool_nodef (has_nan, true)
	Handle not-a-number special value. More...

	const_bool_nodef (has_infinity, true)
	Handle infinity special values. More...

	const_bool_nodef (fpu_check_inexact, true)
	Honor requests to check for FPU inexact results. More...

	const_bool_nodef (fpu_check_nan_result, false)
	Do not make extra checks to detect FPU NaN results. More...

Static Public Member Functions
static void	handle_result (Result r)
	Handles `r:` called by all constructors, operators and functions that do not return a Result value. More...

Detailed Description

\ The production policy for checked numbers used in weakly-relational domains.

Member Function Documentation

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_overflow	,
		true
	)

Check for overflowed result.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_inf_add_inf	,
		false
	)

Do not check for attempts to add infinities with different sign.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_inf_sub_inf	,
		false
	)

Do not check for attempts to subtract infinities with same sign.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_inf_mul_zero	,
		false
	)

Do not check for attempts to multiply infinities by zero.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_div_zero	,
		false
	)

Do not check for attempts to divide by zero.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_inf_div_inf	,
		false
	)

Do not check for attempts to divide infinities.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_inf_mod	,
		false
	)

Do not check for attempts to compute remainder of infinities.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	check_sqrt_neg	,
		false
	)

Do not checks for attempts to take the square root of a negative number.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	has_nan	,
		true
	)

Handle not-a-number special value.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	has_infinity	,
		true
	)

Handle infinity special values.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	fpu_check_inexact	,
		true
	)

Honor requests to check for FPU inexact results.

Parma_Polyhedra_Library::WRD_Extended_Number_Policy::const_bool_nodef	(	fpu_check_nan_result	,
		false
	)

Do not make extra checks to detect FPU NaN results.

void Parma_Polyhedra_Library::WRD_Extended_Number_Policy::handle_result ( Result r )

inlinestatic

Handles r: called by all constructors, operators and functions that do not return a Result value.

                                                   {
   if (result_class(r) == VC_NAN) {
     throw_result_exception(r);
   }
 }

The documentation for this struct was generated from the following files: