bounded_math Class Reference

The transcendental functions shared by numpy. More...

#include <bounded_math.h>

Public Member Functions
	bounded_math (python_converter &converter, const nlohmann::json &call)
exprt	literal (const std::string &function, double x)
	The numpy.* result for a literal argument.
exprt	runtime (const std::string &function, const exprt &x, math_module module)
	The result for a number known only at run time, which is read once.

Static Public Member Functions
static bool	is_bounded (const std::string &function)
	Functions whose result of a run-time argument is bounded.
static bool	has_runtime_model (const std::string &function)
	is_bounded() or exact (sqrt).
static double	host_value (const std::string &function, double x)

Detailed Description

The transcendental functions shared by numpy.

• and math.* (NumPy spelling), bounded as util/arith/transcendental.h describes.

Constructor & Destructor Documentation

bounded_math()

bounded_math::bounded_math	(	python_converter &	converter,
		const nlohmann::json &	call )

Member Function Documentation

has_runtime_model()

bool bounded_math::has_runtime_model ( const std::string & function )

static

is_bounded() or exact (sqrt).

host_value()

double bounded_math::host_value ( const std::string & function, double x )

static

is_bounded()

bool bounded_math::is_bounded ( const std::string & function )

static

Functions whose result of a run-time argument is bounded.

literal()

exprt bounded_math::literal	(	const std::string &	function,
		double	x )

The numpy.* result for a literal argument.

runtime()

exprt bounded_math::runtime	(	const std::string &	function,
		const exprt &	x,
		math_module	module )

The result for a number known only at run time, which is read once.

---

The documentation for this class was generated from the following files:

• src/python-frontend/math/bounded_math.h
• src/python-frontend/math/bounded_math.cpp