1 /********************* */
2 /*! \file floatingpoint.cpp
4 ** Original author: Martin Brain
6 ** Minor contributors (to current version):
7 ** This file is part of the CVC4 project.
8 ** Copyright (c) 2013 University of Oxford
9 ** See the file COPYING in the top-level source directory for licensing
10 ** information.\endverbatim
12 ** \brief [[ Implementations of the utility functions for working with floating point theories. ]]
16 #include "util/floatingpoint.h"
18 #include "base/cvc4_assert.h"
22 FloatingPointSize::FloatingPointSize (unsigned _e
, unsigned _s
) : e(_e
), s(_s
)
24 CheckArgument(validExponentSize(_e
),_e
,"Invalid exponent size : %d",_e
);
25 CheckArgument(validSignificandSize(_s
),_s
,"Invalid significand size : %d",_s
);
28 FloatingPointSize::FloatingPointSize (const FloatingPointSize
&old
) : e(old
.e
), s(old
.s
)
30 CheckArgument(validExponentSize(e
),e
,"Invalid exponent size : %d",e
);
31 CheckArgument(validSignificandSize(s
),s
,"Invalid significand size : %d",s
);
34 void FloatingPointLiteral::unfinished (void) const {
35 Unimplemented("Floating-point literals not yet implemented.");