git.libre-soc.org Git - cvc5.git/commit

author	Andres Noetzli <andres.noetzli@gmail.com>
	Tue, 17 Aug 2021 18:18:16 +0000 (11:18 -0700)
committer	GitHub <noreply@github.com>
	Tue, 17 Aug 2021 18:18:16 +0000 (18:18 +0000)
commit	42b8e0a4fc5b23dfce79cbadc08a8aa8542997e0
tree	080b4b48b245aa2f055033708b6788a92610ce55	tree
parent	e8f18dd65c829c3c12158d57e1fc7d2c9dcdcfd4	commit \| 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.

21 files changed:

src/preprocessing/passes/pseudo_boolean_processor.cpp		diff \| blob \| history
src/preprocessing/passes/pseudo_boolean_processor.h		diff \| blob \| history
src/theory/arith/approx_simplex.cpp		diff \| blob \| history
src/theory/arith/approx_simplex.h		diff \| blob \| history
src/theory/arith/infer_bounds.cpp		diff \| blob \| history
src/theory/arith/infer_bounds.h		diff \| blob \| history
src/theory/arith/linear_equality.cpp		diff \| blob \| history
src/theory/arith/linear_equality.h		diff \| blob \| history
src/theory/arith/nl/poly_conversion.cpp		diff \| blob \| history
src/theory/arith/simplex_update.cpp		diff \| blob \| history
src/theory/arith/simplex_update.h		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/util/CMakeLists.txt		diff \| blob \| history
src/util/maybe.h	[deleted file]	blob \| history
src/util/poly_util.cpp		diff \| blob \| history
src/util/poly_util.h		diff \| blob \| history
src/util/rational_cln_imp.cpp		diff \| blob \| history
src/util/rational_cln_imp.h		diff \| blob \| history
src/util/rational_gmp_imp.cpp		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history
src/util/utility.h		diff \| blob \| history

RSS Atom