| ... | ... |
@@ -35,23 +35,20 @@ |
| 35 | 35 |
///as a result of a probably inexact computation. |
| 36 | 36 |
/// |
| 37 | 37 |
///\ref Tolerance is a class to provide a basic way to |
| 38 | 38 |
///handle the comparison of numbers that are obtained |
| 39 | 39 |
///as a result of a probably inexact computation. |
| 40 | 40 |
/// |
| 41 |
///This is an abstract class, it should be specialized for all |
|
| 42 |
///numerical data types. These specialized classes like |
|
| 41 |
///The general implementation is suitable only if the data type is exact, |
|
| 42 |
///like the integer types, otherwise a specialized version must be |
|
| 43 |
///implemented. These specialized classes like |
|
| 43 | 44 |
///Tolerance<double> may offer additional tuning parameters. |
| 44 | 45 |
/// |
| 45 | 46 |
///\sa Tolerance<float> |
| 46 | 47 |
///\sa Tolerance<double> |
| 47 | 48 |
///\sa Tolerance<long double> |
| 48 |
///\sa Tolerance<int> |
|
| 49 |
///\sa Tolerance<long long int> |
|
| 50 |
///\sa Tolerance<unsigned int> |
|
| 51 |
///\sa Tolerance<unsigned long long int> |
|
| 52 | 49 |
|
| 53 | 50 |
template<class T> |
| 54 | 51 |
class Tolerance |
| 55 | 52 |
{
|
| 56 | 53 |
public: |
| 57 | 54 |
typedef T Value; |
| ... | ... |
@@ -61,26 +58,26 @@ |
| 61 | 58 |
///the related comparisons hold even if some numerical error appeared |
| 62 | 59 |
///during the computations. |
| 63 | 60 |
|
| 64 | 61 |
///@{
|
| 65 | 62 |
|
| 66 | 63 |
///Returns \c true if \c a is \e surely strictly less than \c b |
| 67 |
static bool less(Value a,Value b) {return
|
|
| 64 |
static bool less(Value a,Value b) {return a<b;}
|
|
| 68 | 65 |
///Returns \c true if \c a is \e surely different from \c b |
| 69 |
static bool different(Value a,Value b) {return
|
|
| 66 |
static bool different(Value a,Value b) {return a!=b;}
|
|
| 70 | 67 |
///Returns \c true if \c a is \e surely positive |
| 71 |
static bool positive(Value a) {return
|
|
| 68 |
static bool positive(Value a) {return static_cast<Value>(0) < a;}
|
|
| 72 | 69 |
///Returns \c true if \c a is \e surely negative |
| 73 |
static bool negative(Value a) {return
|
|
| 70 |
static bool negative(Value a) {return a < static_cast<Value>(0);}
|
|
| 74 | 71 |
///Returns \c true if \c a is \e surely non-zero |
| 75 |
static bool nonZero(Value a) {return
|
|
| 72 |
static bool nonZero(Value a) {return a != static_cast<Value>(0);}
|
|
| 76 | 73 |
|
| 77 | 74 |
///@} |
| 78 | 75 |
|
| 79 | 76 |
///Returns the zero value. |
| 80 |
static Value zero() {return
|
|
| 77 |
static Value zero() {return static_cast<Value>(0);}
|
|
| 81 | 78 |
|
| 82 | 79 |
// static bool finite(Value a) {}
|
| 83 | 80 |
// static Value big() {}
|
| 84 | 81 |
// static Value negativeBig() {}
|
| 85 | 82 |
}; |
| 86 | 83 |
|
| ... | ... |
@@ -235,218 +232,11 @@ |
| 235 | 232 |
///@} |
| 236 | 233 |
|
| 237 | 234 |
///Returns zero |
| 238 | 235 |
static Value zero() {return 0;}
|
| 239 | 236 |
}; |
| 240 | 237 |
|
| 241 |
///Integer specialization of Tolerance. |
|
| 242 |
|
|
| 243 |
///Integer specialization of Tolerance. |
|
| 244 |
///\sa Tolerance |
|
| 245 |
template<> |
|
| 246 |
class Tolerance<int> |
|
| 247 |
{
|
|
| 248 |
public: |
|
| 249 |
///\e |
|
| 250 |
typedef int Value; |
|
| 251 |
|
|
| 252 |
///\name Comparisons |
|
| 253 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 254 |
|
|
| 255 |
///@{
|
|
| 256 |
|
|
| 257 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 258 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 259 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 260 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 261 |
///Returns \c true if \c a is \e surely positive |
|
| 262 |
static bool positive(Value a) { return 0<a; }
|
|
| 263 |
///Returns \c true if \c a is \e surely negative |
|
| 264 |
static bool negative(Value a) { return 0>a; }
|
|
| 265 |
///Returns \c true if \c a is \e surely non-zero |
|
| 266 |
static bool nonZero(Value a) { return a!=0; }
|
|
| 267 |
|
|
| 268 |
///@} |
|
| 269 |
|
|
| 270 |
///Returns zero |
|
| 271 |
static Value zero() {return 0;}
|
|
| 272 |
}; |
|
| 273 |
|
|
| 274 |
///Unsigned integer specialization of Tolerance. |
|
| 275 |
|
|
| 276 |
///Unsigned integer specialization of Tolerance. |
|
| 277 |
///\sa Tolerance |
|
| 278 |
template<> |
|
| 279 |
class Tolerance<unsigned int> |
|
| 280 |
{
|
|
| 281 |
public: |
|
| 282 |
///\e |
|
| 283 |
typedef unsigned int Value; |
|
| 284 |
|
|
| 285 |
///\name Comparisons |
|
| 286 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 287 |
|
|
| 288 |
///@{
|
|
| 289 |
|
|
| 290 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 291 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 292 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 293 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 294 |
///Returns \c true if \c a is \e surely positive |
|
| 295 |
static bool positive(Value a) { return 0<a; }
|
|
| 296 |
///Returns \c true if \c a is \e surely negative |
|
| 297 |
static bool negative(Value) { return false; }
|
|
| 298 |
///Returns \c true if \c a is \e surely non-zero |
|
| 299 |
static bool nonZero(Value a) { return a!=0; }
|
|
| 300 |
|
|
| 301 |
///@} |
|
| 302 |
|
|
| 303 |
///Returns zero |
|
| 304 |
static Value zero() {return 0;}
|
|
| 305 |
}; |
|
| 306 |
|
|
| 307 |
|
|
| 308 |
///Long integer specialization of Tolerance. |
|
| 309 |
|
|
| 310 |
///Long integer specialization of Tolerance. |
|
| 311 |
///\sa Tolerance |
|
| 312 |
template<> |
|
| 313 |
class Tolerance<long int> |
|
| 314 |
{
|
|
| 315 |
public: |
|
| 316 |
///\e |
|
| 317 |
typedef long int Value; |
|
| 318 |
|
|
| 319 |
///\name Comparisons |
|
| 320 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 321 |
|
|
| 322 |
///@{
|
|
| 323 |
|
|
| 324 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 325 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 326 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 327 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 328 |
///Returns \c true if \c a is \e surely positive |
|
| 329 |
static bool positive(Value a) { return 0<a; }
|
|
| 330 |
///Returns \c true if \c a is \e surely negative |
|
| 331 |
static bool negative(Value a) { return 0>a; }
|
|
| 332 |
///Returns \c true if \c a is \e surely non-zero |
|
| 333 |
static bool nonZero(Value a) { return a!=0;}
|
|
| 334 |
|
|
| 335 |
///@} |
|
| 336 |
|
|
| 337 |
///Returns zero |
|
| 338 |
static Value zero() {return 0;}
|
|
| 339 |
}; |
|
| 340 |
|
|
| 341 |
///Unsigned long integer specialization of Tolerance. |
|
| 342 |
|
|
| 343 |
///Unsigned long integer specialization of Tolerance. |
|
| 344 |
///\sa Tolerance |
|
| 345 |
template<> |
|
| 346 |
class Tolerance<unsigned long int> |
|
| 347 |
{
|
|
| 348 |
public: |
|
| 349 |
///\e |
|
| 350 |
typedef unsigned long int Value; |
|
| 351 |
|
|
| 352 |
///\name Comparisons |
|
| 353 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 354 |
|
|
| 355 |
///@{
|
|
| 356 |
|
|
| 357 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 358 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 359 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 360 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 361 |
///Returns \c true if \c a is \e surely positive |
|
| 362 |
static bool positive(Value a) { return 0<a; }
|
|
| 363 |
///Returns \c true if \c a is \e surely negative |
|
| 364 |
static bool negative(Value) { return false; }
|
|
| 365 |
///Returns \c true if \c a is \e surely non-zero |
|
| 366 |
static bool nonZero(Value a) { return a!=0;}
|
|
| 367 |
|
|
| 368 |
///@} |
|
| 369 |
|
|
| 370 |
///Returns zero |
|
| 371 |
static Value zero() {return 0;}
|
|
| 372 |
}; |
|
| 373 |
|
|
| 374 |
#if HAVE_LONG_LONG |
|
| 375 |
|
|
| 376 |
///Long long integer specialization of Tolerance. |
|
| 377 |
|
|
| 378 |
///Long long integer specialization of Tolerance. |
|
| 379 |
///\warning This class (more exactly, type <tt>long long</tt>) |
|
| 380 |
///is not ansi compatible. |
|
| 381 |
///\sa Tolerance |
|
| 382 |
template<> |
|
| 383 |
class Tolerance<long long int> |
|
| 384 |
{
|
|
| 385 |
public: |
|
| 386 |
///\e |
|
| 387 |
typedef long long int Value; |
|
| 388 |
|
|
| 389 |
///\name Comparisons |
|
| 390 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 391 |
|
|
| 392 |
///@{
|
|
| 393 |
|
|
| 394 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 395 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 396 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 397 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 398 |
///Returns \c true if \c a is \e surely positive |
|
| 399 |
static bool positive(Value a) { return 0<a; }
|
|
| 400 |
///Returns \c true if \c a is \e surely negative |
|
| 401 |
static bool negative(Value a) { return 0>a; }
|
|
| 402 |
///Returns \c true if \c a is \e surely non-zero |
|
| 403 |
static bool nonZero(Value a) { return a!=0;}
|
|
| 404 |
|
|
| 405 |
///@} |
|
| 406 |
|
|
| 407 |
///Returns zero |
|
| 408 |
static Value zero() {return 0;}
|
|
| 409 |
}; |
|
| 410 |
|
|
| 411 |
///Unsigned long long integer specialization of Tolerance. |
|
| 412 |
|
|
| 413 |
///Unsigned long long integer specialization of Tolerance. |
|
| 414 |
///\warning This class (more exactly, type <tt>unsigned long long</tt>) |
|
| 415 |
///is not ansi compatible. |
|
| 416 |
///\sa Tolerance |
|
| 417 |
template<> |
|
| 418 |
class Tolerance<unsigned long long int> |
|
| 419 |
{
|
|
| 420 |
public: |
|
| 421 |
///\e |
|
| 422 |
typedef unsigned long long int Value; |
|
| 423 |
|
|
| 424 |
///\name Comparisons |
|
| 425 |
///See \ref lemon::Tolerance "Tolerance" for more details. |
|
| 426 |
|
|
| 427 |
///@{
|
|
| 428 |
|
|
| 429 |
///Returns \c true if \c a is \e surely strictly less than \c b |
|
| 430 |
static bool less(Value a,Value b) { return a<b;}
|
|
| 431 |
///Returns \c true if \c a is \e surely different from \c b |
|
| 432 |
static bool different(Value a,Value b) { return a!=b; }
|
|
| 433 |
///Returns \c true if \c a is \e surely positive |
|
| 434 |
static bool positive(Value a) { return 0<a; }
|
|
| 435 |
///Returns \c true if \c a is \e surely negative |
|
| 436 |
static bool negative(Value) { return false; }
|
|
| 437 |
///Returns \c true if \c a is \e surely non-zero |
|
| 438 |
static bool nonZero(Value a) { return a!=0;}
|
|
| 439 |
|
|
| 440 |
///@} |
|
| 441 |
|
|
| 442 |
///Returns zero |
|
| 443 |
static Value zero() {return 0;}
|
|
| 444 |
}; |
|
| 445 |
|
|
| 446 |
#endif |
|
| 447 |
|
|
| 448 | 238 |
/// @} |
| 449 | 239 |
|
| 450 | 240 |
} //namespace lemon |
| 451 | 241 |
|
| 452 | 242 |
#endif //LEMON_TOLERANCE_H |
0 comments (0 inline)