projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17460f0) | patch
Integer: CLN: Move implementation of member functions to .cpp file. (#5304)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 19 Oct 2020 20:57:14 +0000 (13:57 -0700)
committerGitHub <noreply@github.com>
Mon, 19 Oct 2020 20:57:14 +0000 (13:57 -0700)
commit5a2f629f138f31e27965ede4884284437e30e801
tree0bec950e419ecd1497282b1a5cfbb9ad0ac6c048tree
parent17460f0a16b68092d976fc7a8e145db6ee0c244bcommit | diff
Integer: CLN: Move implementation of member functions to .cpp file. (#5304)

This moves the CLN 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.

Analogous to #5190.
src/util/integer_cln_imp.cpp diff | blob | history
src/util/integer_cln_imp.h diff | blob | history
src/util/integer_gmp_imp.h diff | blob | history