|
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. | |