carl
25.04
Computer ARithmetic Library
|
#include <ModelValue.h>
Data Fields | |
RAN | value |
bool | is_infimum |
Definition at line 78 of file ModelValue.h.
bool carl::Infinitesimal< RAN >::is_infimum |
Definition at line 80 of file ModelValue.h.
RAN carl::Infinitesimal< RAN >::value |
Definition at line 79 of file ModelValue.h.