carl  24.04
Computer ARithmetic Library
carl::checking< Number > Struct Template Reference

#include <checking.h>

Static Public Member Functions

static Number pos_inf ()
 
static Number neg_inf ()
 
static Number nan ()
 
static bool is_nan (const Number &)
 
static Number empty_lower ()
 
static Number empty_upper ()
 
static bool is_empty (const Number &_left, const Number &_right)
 

Detailed Description

template<typename Number>
struct carl::checking< Number >

Definition at line 21 of file checking.h.

Member Function Documentation

◆ empty_lower()

template<typename Number >
static Number carl::checking< Number >::empty_lower ( )
inlinestatic

Definition at line 40 of file checking.h.

◆ empty_upper()

template<typename Number >
static Number carl::checking< Number >::empty_upper ( )
inlinestatic

Definition at line 44 of file checking.h.

◆ is_empty()

template<typename Number >
static bool carl::checking< Number >::is_empty ( const Number &  _left,
const Number &  _right 
)
inlinestatic

Definition at line 48 of file checking.h.

◆ is_nan()

template<typename Number >
static bool carl::checking< Number >::is_nan ( const Number &  )
inlinestatic

Definition at line 36 of file checking.h.

◆ nan()

template<typename Number >
static Number carl::checking< Number >::nan ( )
inlinestatic

Definition at line 31 of file checking.h.

◆ neg_inf()

template<typename Number >
static Number carl::checking< Number >::neg_inf ( )
inlinestatic

Definition at line 27 of file checking.h.

◆ pos_inf()

template<typename Number >
static Number carl::checking< Number >::pos_inf ( )
inlinestatic

Definition at line 23 of file checking.h.


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