|
Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
| class | SVF::BoundedInt |
| A class representing a bounded 64-bit integer. More... | |
| class | SVF::BoundedDouble |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Macros | |
| #define | epsilon std::numeric_limits<double>::epsilon(); |
| #define epsilon std::numeric_limits<double>::epsilon(); |
Definition at line 41 of file NumericValue.h.