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 |