projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d72fccc) | patch
Add getValue() for Rational and Integer (GMP and CLN). (#1309)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 6 Nov 2017 11:22:44 +0000 (03:22 -0800)
committerGitHub <noreply@github.com>
Mon, 6 Nov 2017 11:22:44 +0000 (03:22 -0800)
commitd1467e740c17fe500bd598375165c2018305e0b3
tree2ff44662c0af672a65970446bf6e011cd62777dbtree
parentd72fcccb19e43d0140b8a6ac954c2858dd3a239acommit | diff
Add getValue() for Rational and Integer (GMP and CLN). (#1309)

Returns a copy of d_value to enable public access of GMP and CLN data.
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history
src/util/rational_cln_imp.h diff | blob | history
src/util/rational_gmp_imp.h diff | blob | history