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/expr | |
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/expr')
0 files changed, 0 insertions, 0 deletions