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/preprocessing/passes/pseudo_boolean_processor.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/preprocessing/passes/pseudo_boolean_processor.h')
| -rw-r--r-- | src/preprocessing/passes/pseudo_boolean_processor.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/pseudo_boolean_processor.h b/src/preprocessing/passes/pseudo_boolean_processor.h index 74ee67fa4..b5bb05138 100644 --- a/src/preprocessing/passes/pseudo_boolean_processor.h +++ b/src/preprocessing/passes/pseudo_boolean_processor.h @@ -21,6 +21,7 @@ #ifndef CVC5__PREPROCESSING__PASSES__PSEUDO_BOOLEAN_PROCESSOR_H #define CVC5__PREPROCESSING__PASSES__PSEUDO_BOOLEAN_PROCESSOR_H +#include <optional> #include <unordered_set> #include <vector> @@ -29,7 +30,6 @@ #include "expr/node.h" #include "preprocessing/preprocessing_pass.h" #include "theory/substitutions.h" -#include "util/maybe.h" #include "util/rational.h" namespace cvc5 { @@ -100,7 +100,7 @@ class PseudoBooleanProcessor : public PreprocessingPass context::CDO<unsigned> d_pbs; // decompose into \sum pos >= neg + off - Maybe<Rational> d_off; + std::optional<Rational> d_off; std::vector<Node> d_pos; std::vector<Node> d_neg; |