demo/sat-2.in
| author |
ladanyi |
|
Sat, 13 Oct 2007 08:48:07 +0000 |
| changeset 2495 |
e4f8367beb41 |
| permissions |
-rw-r--r-- |
Added the function isFinite(), and replaced the calls to finite() with it.
This was necessary because finite() is not a standard function. Neither can
we use its standard counterpart isfinite(), because it was introduced only
in C99, and therefore it is not supplied by all C++ implementations.