carl  25.04
Computer ARithmetic Library
carl::Infinitesimal< RAN > Struct Template Reference

#include <ModelValue.h>

Data Fields

RAN value
 
bool is_infimum
 

Detailed Description

template<typename RAN>
struct carl::Infinitesimal< RAN >

Definition at line 78 of file ModelValue.h.

Field Documentation

◆ is_infimum

template<typename RAN >
bool carl::Infinitesimal< RAN >::is_infimum

Definition at line 80 of file ModelValue.h.

◆ value

template<typename RAN >
RAN carl::Infinitesimal< RAN >::value

Definition at line 79 of file ModelValue.h.


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