dReal4
|
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. | |
RoundingModeGuard & | operator= (const RoundingModeGuard &)=delete |
Deleted Copy-assignment. | |
RoundingModeGuard & | operator= (RoundingModeGuard &&)=delete |
Deleted Move-assignment. | |
~RoundingModeGuard () | |
Destructor. Restore the saved rounding-mode. | |