bounded_math.h File Reference

#include <nlohmann/json.hpp>
#include <util/irep/expr.h>
#include <string>

Include dependency graph for bounded_math.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	bounded_math
	The transcendental functions shared by numpy. More...

Enumerations
enum class	math_module { numpy , math }
	numpy. More...

Enumeration Type Documentation

math_module

enum class math_module

strong

numpy.

• returns NaN or an infinity where math.* raises, and a literal numpy.* argument gets the bounded result where math.* gets the C library's exact value.

Enumerator
numpy
math