dReal4
PrecisionGuard Class Referencefinal

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
 

Detailed Description

Sets the decimal precision to be used to format floating-point values on output operations.

Restores the old precision when this guard is destroyed.


The documentation for this class was generated from the following files: