blob: cf7aea524aee77155ba59c66dd780e961f462671 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/********************* */
/*! \file floatingpoint_size.cpp
** \verbatim
** Top contributors (to current version):
** Aina Niemetz, Martin Brain
** This file is part of the CVC4 project.
** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
**
** \brief The class representing a floating-point format.
**/
#include "util/floatingpoint_size.h"
#include "base/check.h"
namespace cvc5 {
FloatingPointSize::FloatingPointSize(uint32_t exp_size, uint32_t sig_size)
: d_exp_size(exp_size), d_sig_size(sig_size)
{
Assert(validExponentSize(exp_size));
Assert(validSignificandSize(sig_size));
}
FloatingPointSize::FloatingPointSize(const FloatingPointSize& old)
: d_exp_size(old.d_exp_size), d_sig_size(old.d_sig_size)
{
Assert(validExponentSize(d_exp_size));
Assert(validSignificandSize(d_sig_size));
}
} // namespace cvc5
|
