|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>#include <vector>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) |