|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Outside [low, high] the result is NaN, and a periodic function is NaN at an infinity. More...
#include <transcendental.h>
Public Attributes | |
| double | low |
| double | high |
| bool | periodic |
Outside [low, high] the result is NaN, and a periodic function is NaN at an infinity.
| double transcendental::domain::high |
| double transcendental::domain::low |
| bool transcendental::domain::periodic |