src/util/floatingpoint.cpp

   1 /*********************                                                        */
   2 /*! \file floatingpoint.cpp
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Tim King, Martin Brain
   6  ** Copyright (c) 2013  University of Oxford
   7  ** This file is part of the CVC4 project.
   8  ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
   9  ** in the top-level source directory) and their institutional affiliations.
  10  ** All rights reserved.  See the file COPYING in the top-level source
  11  ** directory for licensing information.\endverbatim
  12  **
  13  ** \brief [[ Implementations of the utility functions for working with floating point theories. ]]
  14  **
  15  **/
  16
  17 #include "util/floatingpoint.h"
  18
  19 #include "base/cvc4_assert.h"
  20
  21 namespace CVC4 {
  22
  23 FloatingPointSize::FloatingPointSize (unsigned _e, unsigned _s) : e(_e), s(_s)
  24 {
  25   PrettyCheckArgument(validExponentSize(_e),_e,"Invalid exponent size : %d",_e);
  26   PrettyCheckArgument(validSignificandSize(_s),_s,"Invalid significand size : %d",_s);
  27 }
  28
  29 FloatingPointSize::FloatingPointSize (const FloatingPointSize &old) : e(old.e), s(old.s)
  30 {
  31   PrettyCheckArgument(validExponentSize(e),e,"Invalid exponent size : %d",e);
  32   PrettyCheckArgument(validSignificandSize(s),s,"Invalid significand size : %d",s);
  33 }
  34
  35 void FloatingPointLiteral::unfinished (void) const {
  36   Unimplemented("Floating-point literals not yet implemented.");
  37 }
  38
  39 }/* CVC4 namespace */