projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cd812a) | patch
Refactoring and cleaning the type enumerator for sets (#3908)
authormudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Tue, 3 Mar 2020 18:17:06 +0000 (12:17 -0600)
committerGitHub <noreply@github.com>
Tue, 3 Mar 2020 18:17:06 +0000 (12:17 -0600)
commit18fe192c29a9a2c37d1925730af01e906b9888c5
treebe50ef35073dd1ba94f5588f5daa45d7eceafea0tree
parent0cd812af4a6db43a7d6c2c95fff7e58f86e90a78commit | 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
src/CMakeLists.txt diff | blob | history
src/theory/sets/normal_form.h diff | blob | history
src/theory/sets/theory_sets_type_enumerator.cpp [new file with mode: 0644] blob
src/theory/sets/theory_sets_type_enumerator.h diff | blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/theory_sets_type_enumerator_white.h [new file with mode: 0644] blob