dReal4
RoundingModeGuard Class Reference

Public Member Functions

 RoundingModeGuard (int new_round)
 Saves the current rounding-mode and switch to new_round.
 
 RoundingModeGuard (const RoundingModeGuard &)=delete
 Deleted Copy-constructor.
 
 RoundingModeGuard (RoundingModeGuard &&)=delete
 Deleted Move-constructor.
 
RoundingModeGuardoperator= (const RoundingModeGuard &)=delete
 Deleted Copy-assignment.
 
RoundingModeGuardoperator= (RoundingModeGuard &&)=delete
 Deleted Move-assignment.
 
 ~RoundingModeGuard ()
 Destructor. Restore the saved rounding-mode.
 

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