ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
transcendental.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4#include <vector>
5
11{
13{
14 double low, high;
15};
16
18struct piece
19{
20 double from, to;
22};
23
26struct domain
27{
28 double low, high;
30};
31
32bool is_bounded(const std::string &function);
33bool is_odd(const std::string &function);
34double host_value(const std::string &function, double x);
36interval at(const std::string &function, double x);
37const std::vector<piece> &pieces(const std::string &function);
38domain domain_of(const std::string &function);
39} // namespace transcendental
Bounds on the transcendental functions numpy.
Definition transcendental.h:11
interval at(const std::string &function, double x)
The results at x, a single value where every implementation is exact.
Definition transcendental.cpp:239
bool is_bounded(const std::string &function)
Definition transcendental.cpp:203
double host_value(const std::string &function, double x)
Definition transcendental.cpp:215
const std::vector< piece > & pieces(const std::string &function)
Definition transcendental.cpp:247
domain domain_of(const std::string &function)
Definition transcendental.cpp:256
bool is_odd(const std::string &function)
Definition transcendental.cpp:208
Definition module.h:12
Outside [low, high] the result is NaN, and a periodic function is NaN at an infinity.
Definition transcendental.h:27
double low
Definition transcendental.h:28
bool periodic
Definition transcendental.h:29
double high
Definition transcendental.h:28
Definition transcendental.h:13
double low
Definition transcendental.h:14
double high
Definition transcendental.h:14
The results for an argument in [from, to].
Definition transcendental.h:19
double to
Definition transcendental.h:20
double from
Definition transcendental.h:20
interval result
Definition transcendental.h:21