diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-08-17 11:18:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 18:18:16 +0000 |
| commit | 42b8e0a4fc5b23dfce79cbadc08a8aa8542997e0 (patch) | |
| tree | 080b4b48b245aa2f055033708b6788a92610ce55 /src/util/rational_cln_imp.h | |
| parent | e8f18dd65c829c3c12158d57e1fc7d2c9dcdcfd4 (diff) | |
Replace `Maybe` with `std::optional` (#7005)
Because we are now using C++17, we can get rid of Maybe and instead
use std::optional, which offers the same functionality.
Diffstat (limited to 'src/util/rational_cln_imp.h')
| -rw-r--r-- | src/util/rational_cln_imp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index 67e73f7e9..f1b6022cf 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -27,13 +27,13 @@ #include <cln/rational_io.h> #include <cln/real.h> +#include <optional> #include <sstream> #include <string> #include "base/exception.h" #include "cvc5_export.h" // remove when Cvc language support is removed #include "util/integer.h" -#include "util/maybe.h" namespace cvc5 { @@ -190,7 +190,7 @@ class CVC5_EXPORT Rational Integer getDenominator() const { return Integer(cln::denominator(d_value)); } /** Return an exact rational for a double d. */ - static Maybe<Rational> fromDouble(double d); + static std::optional<Rational> fromDouble(double d); /** * Get a double representation of this Rational, which is |