ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
transcendental.h File Reference
#include <string>
#include <vector>
Include dependency graph for transcendental.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

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

Namespaces

namespace  transcendental
 Bounds on the transcendental functions numpy.

Functions

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