diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-10-19 13:57:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-19 13:57:14 -0700 |
| commit | 5a2f629f138f31e27965ede4884284437e30e801 (patch) | |
| tree | 0bec950e419ecd1497282b1a5cfbb9ad0ac6c048 /src/theory/strings/term_registry.cpp | |
| parent | 17460f0a16b68092d976fc7a8e145db6ee0c244b (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.
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions