diff options
author | mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu> | 2020-03-03 12:17:06 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-03 12:17:06 -0600 |
commit | 18fe192c29a9a2c37d1925730af01e906b9888c5 (patch) | |
tree | be50ef35073dd1ba94f5588f5daa45d7eceafea0 /src/CMakeLists.txt | |
parent | 0cd812af4a6db43a7d6c2c95fff7e58f86e90a78 (diff) |
Refactoring and cleaning the type enumerator for sets (#3908)
* Miscellaneous changes
* Removed unnecessary vector of enumerators
* cleanup
* cleanup
* cleanup
* refactoring
* cleanup
* refactoring
* used binary numbers for sets
* isFinished for enumerator
* format
* added theory_sets_type_enumerator_white.h
* format
* Used BitVector class
* Tracing
* Documentation
* moved implementation to theory_sets_type_enumerator.cpp
* minor changes
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 201b6a21d..aaa789308 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -661,6 +661,7 @@ libcvc4_add_sources( theory/sets/theory_sets_rels.h theory/sets/theory_sets_rewriter.cpp theory/sets/theory_sets_rewriter.h + theory/sets/theory_sets_type_enumerator.cpp theory/sets/theory_sets_type_enumerator.h theory/sets/theory_sets_type_rules.h theory/shared_terms_database.cpp |