ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
transcendental Namespace Reference

Bounds on the transcendental functions numpy. More...

Classes

struct  interval
struct  piece
 The results for an argument in [from, to]. More...
struct  domain
 Outside [low, high] the result is NaN, and a periodic function is NaN at an infinity. More...

Functions

bool is_bounded (const std::string &function)
bool is_odd (const std::string &function)
double host_value (const std::string &function, double x)
interval at (const std::string &function, double x)
 The results at x, a single value where every implementation is exact.
const std::vector< piece > & pieces (const std::string &function)
domain domain_of (const std::string &function)

Detailed Description

Bounds on the transcendental functions numpy.

  • and math.* share (NumPy spelling): any double within –python-math-ulps (8) of the C library's value and inside the function's range, exact where every implementation is (ADR-NP-005).

Function Documentation

◆ at()

interval transcendental::at ( const std::string & function,
double x )

The results at x, a single value where every implementation is exact.

◆ domain_of()

domain transcendental::domain_of ( const std::string & function)

◆ host_value()

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

◆ is_bounded()

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

◆ is_odd()

bool transcendental::is_odd ( const std::string & function)

◆ pieces()

const std::vector< piece > & transcendental::pieces ( const std::string & function)