projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b849961) | patch
arrays: Move type enumerator implementation to .cpp. (#7216)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 22 Sep 2021 17:08:34 +0000 (10:08 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Sep 2021 17:08:34 +0000 (17:08 +0000)
commitfc42f53145e403216b2a5cf91cc437de7456a0f6
tree41a06c3d3ac9b4ea01d01d716ffe5310a00ab686tree
parentb849961a85b61a29b13f8f58aa8ed7fff3c902a4commit | diff
arrays: Move type enumerator implementation to .cpp. (#7216)

This further cleans up the class declaration in the header to comply
with code style guidelines.
src/CMakeLists.txt diff | blob | history
src/theory/arrays/type_enumerator.cpp [new file with mode: 0644] blob
src/theory/arrays/type_enumerator.h diff | blob | history