ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
transcendental::domain Struct Reference

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

Detailed Description

Outside [low, high] the result is NaN, and a periodic function is NaN at an infinity.

Member Data Documentation

◆ high

double transcendental::domain::high

◆ low

double transcendental::domain::low

◆ periodic

bool transcendental::domain::periodic

The documentation for this struct was generated from the following file: