|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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) |
Bounds on the transcendental functions numpy.
| interval transcendental::at | ( | const std::string & | function, |
| double | x ) |
The results at x, a single value where every implementation is exact.
| domain transcendental::domain_of | ( | const std::string & | function | ) |
| double transcendental::host_value | ( | const std::string & | function, |
| double | x ) |
| bool transcendental::is_bounded | ( | const std::string & | function | ) |
| bool transcendental::is_odd | ( | const std::string & | function | ) |
| const std::vector< piece > & transcendental::pieces | ( | const std::string & | function | ) |