dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::RoundingModeGuard Class Reference

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.
 

Detailed Description

Definition at line 14 of file RoundingModeGuard.hpp.

Constructor & Destructor Documentation

◆ ~RoundingModeGuard()

dlinear::RoundingModeGuard::~RoundingModeGuard ( )
inline

Destructor.

Restore the saved rounding-mode.

Definition at line 25 of file RoundingModeGuard.hpp.


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