projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8497910) | patch
Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476)
authorTim King <taking@cs.nyu.edu>
Mon, 8 Jan 2018 00:46:16 +0000 (16:46 -0800)
committerGitHub <noreply@github.com>
Mon, 8 Jan 2018 00:46:16 +0000 (16:46 -0800)
commit20957db27201d594a83e0e5abe77875ed4932faf
tree47c665493a2a26d9ad50d2f53de310a7ce8193e0tree
parent8497910df4d1c254b26f09c3dc5ee6191c970b12commit | diff
Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476)

* Removes RationalFromDoubleException. Replaces this with an explicit Maybe<Rational> datatype. Makes Maybe<T> CVC4_PUBLIC. Updates the users of Rational::fromDouble(). Miscellaneous cleanup of ApproxSimplex.
14 files changed:
src/cvc4.i diff | blob | history
src/theory/arith/approx_simplex.cpp diff | blob | history
src/theory/arith/approx_simplex.h diff | blob | history
src/theory/arith/linear_equality.cpp diff | blob | history
src/theory/arith/pseudoboolean_proc.cpp diff | blob | history
src/theory/arith/simplex_update.h diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/util/maybe.h diff | blob | history
src/util/rational.i 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