|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
The results for an argument in [from, to]. More...
#include <transcendental.h>
Public Attributes | |
| double | from |
| double | to |
| interval | result |
The results for an argument in [from, to].
| double transcendental::piece::from |
| interval transcendental::piece::result |
| double transcendental::piece::to |