diff options
Diffstat (limited to 'src/util/integer_gmp_imp.cpp')
-rw-r--r-- | src/util/integer_gmp_imp.cpp | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/src/util/integer_gmp_imp.cpp b/src/util/integer_gmp_imp.cpp new file mode 100644 index 000000000..f2a888340 --- /dev/null +++ b/src/util/integer_gmp_imp.cpp @@ -0,0 +1,38 @@ +/********************* */ +/*! \file integer_gmp_imp.cpp + ** \verbatim + ** Original author: Tim King + ** Major contributors: Morgan Deters, Christopher L. Conway + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief A multi-precision rational constant. + ** + ** A multi-precision rational constant. + **/ + +#include "cvc4autoconfig.h" +#include "util/rational.h" +#include <string> +#include <sstream> +#include <cmath> + +#ifndef CVC4_GMP_IMP +# error "This source should only ever be built if CVC4_GMP_IMP is on !" +#endif /* CVC4_GMP_IMP */ + +using namespace std; +using namespace CVC4; + + + +Integer::Integer(const char* s, unsigned base) + : d_value(s, base) +{} + +Integer::Integer(const std::string& s, unsigned base) + : d_value(s, base) +{} |