1 /********************* */
2 /*! \file floatingpoint.cpp
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
13 ** \brief [[ Implementations of the utility functions for working with floating point theories. ]]
17 #include "util/floatingpoint.h"
19 #include "base/cvc4_assert.h"
23 FloatingPointSize::FloatingPointSize (unsigned _e
, unsigned _s
) : e(_e
), s(_s
)
25 PrettyCheckArgument(validExponentSize(_e
),_e
,"Invalid exponent size : %d",_e
);
26 PrettyCheckArgument(validSignificandSize(_s
),_s
,"Invalid significand size : %d",_s
);
29 FloatingPointSize::FloatingPointSize (const FloatingPointSize
&old
) : e(old
.e
), s(old
.s
)
31 PrettyCheckArgument(validExponentSize(e
),e
,"Invalid exponent size : %d",e
);
32 PrettyCheckArgument(validSignificandSize(s
),s
,"Invalid significand size : %d",s
);
35 void FloatingPointLiteral::unfinished (void) const {
36 Unimplemented("Floating-point literals not yet implemented.");