Static Value-Flow Analysis
Classes | Namespaces | Macros
NumericValue.h File Reference
#include "SVFIR/SVFType.h"
#include <cfloat>
#include <cmath>
#include <utility>

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

 SVF
 for isBitcode
 

Macros

#define epsilon   std::numeric_limits<double>::epsilon();
 

Macro Definition Documentation

◆ epsilon

#define epsilon   std::numeric_limits<double>::epsilon();

Definition at line 41 of file NumericValue.h.