diff options
author | Tim King <taking@cs.nyu.edu> | 2014-04-01 16:54:36 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2014-04-01 16:54:36 -0400 |
commit | 98df8ccdd49674c02360a0662fbc1765ace2d5bf (patch) | |
tree | b80e3c78a79b45401a21a9bfb03bf63174e55199 /src/util/integer_gmp_imp.cpp | |
parent | e347f43940c53a8dfdaa022bc19900fcee631c08 (diff) |
Fixing bug 552. There was a bug when integers are made using a string with a lot of leading 0s on old versions of CLN.1.3.x
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) +{} |