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/options/idl_options.toml | |
| 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/options/idl_options.toml')
0 files changed, 0 insertions, 0 deletions