diff options
Diffstat (limited to 'src/util/rational.h.in')
| -rw-r--r-- | src/util/rational.h.in | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/util/rational.h.in b/src/util/rational.h.in new file mode 100644 index 000000000..88c488290 --- /dev/null +++ b/src/util/rational.h.in @@ -0,0 +1,33 @@ +/********************* */ +/*! \file rational.h.in + ** \verbatim + ** Original author: taking + ** Major contributors: none + ** Minor contributors (to current version): dejan, mdeters, cconway + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Multi-precision rational constants. + ** + ** Multi-precision rational constants. + **/ + +// this is used to avoid a public header dependence on cvc4autoconfig.h +#if /* use CLN */ @CVC4_USE_CLN_IMP@ +# define CVC4_CLN_IMP +#endif /* @CVC4_USE_CLN_IMP@ */ +#if /* use GMP */ @CVC4_USE_GMP_IMP@ +# define CVC4_GMP_IMP +#endif /* @CVC4_USE_GMP_IMP@ */ + +#ifdef CVC4_CLN_IMP +# include "util/rational_cln_imp.h" +#endif /* CVC4_CLN_IMP */ + +#ifdef CVC4_GMP_IMP +# include "util/rational_gmp_imp.h" +#endif /* CVC4_GMP_IMP */ |