src/util/integer_cln_imp.cpp

   1 /*********************                                                        */
   2 /*! \file integer_cln_imp.cpp
   3  ** \verbatim
   4  ** Original author: taking
   5  ** Major contributors: none
   6  ** Minor contributors (to current version): none
   7  ** This file is part of the CVC4 prototype.
   8  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
   9  ** Courant Institute of Mathematical Sciences
  10  ** New York University
  11  ** See the file COPYING in the top-level source directory for licensing
  12  ** information.\endverbatim
  13  **
  14  ** \brief A multiprecision rational constant.
  15  **
  16  ** A multiprecision rational constant.
  17  ** This stores the rational as a pair of multiprecision integers,
  18  ** one for the numerator and one for the denominator.
  19  ** The number is always stored so that the gcd of the numerator and denominator
  20  ** is 1.  (This is referred to as referred to as canonical form in GMP's
  21  ** literature.) A consquence is that that the numerator and denominator may be
  22  ** different than the values used to construct the Rational.
  23  **/
  24
  25 #include "cvc4autoconfig.h"
  26 #include "util/integer.h"
  27
  28 #ifndef CVC4_CLN_IMP
  29 #  error "This source should only ever be built if CVC4_CLN_IMP is on !"
  30 #endif /* CVC4_CLN_IMP */
  31
  32 using namespace CVC4;
  33
  34 std::ostream& CVC4::operator<<(std::ostream& os, const Integer& n) {
  35   return os << n.toString();
  36 }
  37