Home Page
Compass Module
FSM Module
Floating Point Checker Module
Zref Module
Project Page
SourceForge goodness!
Class API
Doxygen goodness!
File Vault
Browse the source!
Roadmap
Know where we're headed!

Floating Point Checker Module


Detailed Description

Floating-point number types in general have an inherent margin of error, due to the limited number of bits available to represent a real, often irrational number. For example, even if both x and y are set to PI, the expression x - y might not return zero, and the expression 1 / (x - y) might return some huge-magnitude number instead of returning NaN or throwing some exception. Furthermore, as the number of floating-point calculations on an input value increases, so does the margin of error in the result.

However, if at most a very small number of such calculations are executed, and the margin of error does not go beyond a certain range as a result or through other guarantees, then we can use that range to check if an expression returns an output value that needs special handling. The classes in this module provide this checking ability.


Classes

class  sgdk::ZeroChecker<>
 Checks if an input value can accurately be treated as zero. More...


Hosted by SourceForge.net.

This page is Valid HTML 4.01 Transitional! This page uses valid CSS!