carl  24.04
Computer ARithmetic Library
carl::policies< Number, Interval > Struct Template Reference

Struct which holds the rounding and checking policies required for boost interval. More...

#include <Interval.h>

Inheritance diagram for carl::policies< Number, Interval >:

Public Types

using roundingP = carl::rounding< Number >
 
using checkingP = carl::checking< Number >
 

Static Public Member Functions

static void sanitize (Interval &)
 

Detailed Description

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

Struct which holds the rounding and checking policies required for boost interval.

Definition at line 67 of file Interval.h.

Member Typedef Documentation

◆ checkingP

template<typename Number , typename Interval >
using carl::policies< Number, Interval >::checkingP = carl::checking<Number>

Definition at line 70 of file Interval.h.

◆ roundingP

template<typename Number , typename Interval >
using carl::policies< Number, Interval >::roundingP = carl::rounding<Number>

Definition at line 69 of file Interval.h.

Member Function Documentation

◆ sanitize()

template<typename Number , typename Interval >
static void carl::policies< Number, Interval >::sanitize ( Interval )
inlinestatic

Definition at line 71 of file Interval.h.


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