diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-10-05 15:03:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-05 15:03:18 -0700 |
| commit | 461b7d25b0ed1b2e56c781bb11192896d8edf6c1 (patch) | |
| tree | 66cefe367a848ebdc691d12578fbe4f9443be6ba /src/util/rational_cln_imp.h | |
| parent | 111a197b4d9179a92b0509aded6463d47e036cc0 (diff) | |
Integer: GMP: Move implementation of member functions to .cpp file. (#5190)
This moves the GMP implementation of member functions of class Integer from
the header to the .cpp file. This only moves code, and adds documentation for
previously undocumented or poorly documented functions.
I ran a performance check on the cluster on non-incremental QF_BV, QF_BVFP,
QF_FP, QF_LIA, QF_LIRA and QF_LRA (BV and FP logics heavily rely on class
Integer since class BitVector is implemented on top of Integer). This change has
no impact on performance.
Diffstat (limited to 'src/util/rational_cln_imp.h')
0 files changed, 0 insertions, 0 deletions