projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5e230e) | patch
(Refactor) Decouple rep set iterator and quantifiers (#1339)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Nov 2017 00:43:40 +0000 (18:43 -0600)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 00:43:40 +0000 (18:43 -0600)
commit36f18a81d18fbfe063ec36cc101ff4ba1c069ea2
treef43d1b4f6ecf27f6b70c03938ee1b19a44fa7c41tree
parentc5e230e012c57a4605e99a165934afc98bc4d9fccommit | diff
(Refactor) Decouple rep set iterator and quantifiers (#1339)

* Refactoring rep set iterator, does not modify rep set externally.

* Decouple quantifiers engine and rep set iterator.

* Documentation

* Clang format

* Minor

* Minor

* More

* Format

* Address review.

* Format

* Minor
src/theory/quantifiers/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers/first_order_model.h diff | blob | history
src/theory/quantifiers/full_model_check.cpp diff | blob | history
src/theory/quantifiers/model_builder.cpp diff | blob | history
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/rep_set.cpp diff | blob | history
src/theory/rep_set.h diff | blob | history