Module: ppl/ppl Branch: master Commit: 7f8b88c139b3e7babdb53d586493e9239f873446 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3e...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun May 3 22:25:43 2009 +0200
Check for NaNs only when debugging.
---
src/BD_Shape.defs.hh | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index 2ab5448..165f0eb 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -404,7 +404,11 @@ private: The (extended) numeric type of the inhomogeneous term of the inequalities defining a BDS. */ +#ifndef NDEBUG typedef Checked_Number<T, Extended_Number_Policy> N; +#else + typedef Checked_Number<T, WRD_Extended_Number_Policy> N; +#endif
public: //! The numeric base type upon which bounded differences are built.