projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40b0457) | patch
(Refactor) Document and clean single invocation partition. (#1364)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 17 Nov 2017 21:19:25 +0000 (15:19 -0600)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 21:19:25 +0000 (15:19 -0600)
commita7524f1f72c324dae36bd4a461d31e5e26fdca15
tree127edbc15c8feee41ad99382a4343c2788f91aeftree
parent40b04572d72ed5c46b85ec3cd06e5654efaa6d33commit | diff
(Refactor) Document and clean single invocation partition. (#1364)

* Documenting single invocation partiion.

* More

* More encapsulation.

* More, documentation complete.

* Split to own file.

* Format

* Fully encapsulate.

* Format

* Improvements to doc.

* Format

* Address

* Format

* Missed comment

* Newline

* Address

* Format
src/Makefile.am diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/anti_skolem.cpp diff | blob | history
src/theory/quantifiers/anti_skolem.h diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history
src/theory/quantifiers/single_inv_partition.cpp [new file with mode: 0644] blob
src/theory/quantifiers/single_inv_partition.h [new file with mode: 0644] blob