carl::policies< double, Interval > Struct Template Reference

Template specialization for rounding and checking policies for native double. More...

#include <Interval.h>

Public Types
using	roundingP = boost::numeric::interval_lib::save_state< boost::numeric::interval_lib::rounded_transc_std< double > >
using	checkingP = boost::numeric::interval_lib::checking_no_nan< double, boost::numeric::interval_lib::checking_no_nan< double > >

Static Public Member Functions
static void	sanitize (Interval &n)

Detailed Description

template<typename Interval>
struct carl::policies< double, Interval >

Template specialization for rounding and checking policies for native double.

Definition at line 79 of file Interval.h.

Member Typedef Documentation

checkingP

template<typename Interval >

using carl::policies< double, Interval >::checkingP = boost::numeric::interval_lib::checking_no_nan<double, boost::numeric::interval_lib::checking_no_nan<double> >

Definition at line 82 of file Interval.h.

roundingP

template<typename Interval >

using carl::policies< double, Interval >::roundingP = boost::numeric::interval_lib::save_state<boost::numeric::interval_lib::rounded_transc_std<double> >

Definition at line 81 of file Interval.h.

Member Function Documentation

sanitize()

template<typename Interval >

static void carl::policies< double, Interval >::sanitize ( Interval &  n )

inlinestatic

Definition at line 83 of file Interval.h.

Here is the call graph for this function:

---

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

• carl-arith/interval/Interval.h