dReal4
|
Sets the decimal precision to be used to format floating-point values on output operations. More...
#include </home/soonhokong/work/dreal4/dreal/util/precision_guard.h>
Public Member Functions | |
PrecisionGuard (std::ostream *os_, std::streamsize precision=std::numeric_limits< double >::max_digits10) | |
PrecisionGuard (const PrecisionGuard &)=delete | |
void | operator= (const PrecisionGuard &)=delete |
PrecisionGuard (PrecisionGuard &&)=delete | |
void | operator= (PrecisionGuard &&)=delete |
Sets the decimal precision to be used to format floating-point values on output operations.
Restores the old precision when this guard is destroyed.