projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9990d5) | patch
Always enable RAN, but disable its implementation without poly (#7910)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 12 Jan 2022 18:59:29 +0000 (10:59 -0800)
committerGitHub <noreply@github.com>
Wed, 12 Jan 2022 18:59:29 +0000 (18:59 +0000)
commitc9daef3594dec48693ede0c13e7fc9804835ef14
treebfea0c642627e3eb7ea990873d1302cac9ae3a10tree
parenta9990d56eb3bc6f27e5bc5557db0247e4dc6a070commit | diff
Always enable RAN, but disable its implementation without poly (#7910)

This PR makes sure that the RealAlgebraicNumber class is always visible, but its implementation is only enabled when libpoly is available. This allows us to use this class in more places of cvc5.
src/util/real_algebraic_number.h.in diff | blob | history
src/util/real_algebraic_number_poly_imp.cpp diff | blob | history
src/util/real_algebraic_number_poly_imp.h diff | blob | history