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

The results for an argument in [from, to]. More...

#include <transcendental.h>

Public Attributes

double from
double to
interval result

Detailed Description

The results for an argument in [from, to].

Member Data Documentation

◆ from

double transcendental::piece::from

◆ result

interval transcendental::piece::result

◆ to

double transcendental::piece::to

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