|
|
dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Public Member Functions | |
| RoundingModeGuard (int new_round) | |
Save the current rounding-mode and switch to new_round. | |
| ~RoundingModeGuard () | |
| Destructor. | |
Private Attributes | |
| const int | round_mode_ {} |
| Saved rounding-mode stored at construction time, to be restored at destruction time. | |
Definition at line 14 of file RoundingModeGuard.hpp.
|
inline |