projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49912ba) | patch
(Move only) Move enumerative instantiation strategy to its own file and document...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 28 Oct 2017 21:53:55 +0000 (16:53 -0500)
committerGitHub <noreply@github.com>
Sat, 28 Oct 2017 21:53:55 +0000 (16:53 -0500)
commitd33fc58a4fccfe6bc9059e0dd47afea2ed69d1ad
treedc7b2db84ea3c8b21c941fc7aea78e86f20ffbebtree
parent49912baa48d87e6d8c38f9bc3e1739b8fbe4e8b3commit | diff
(Move only) Move enumerative instantiation strategy to its own file and document (#1290)

* Move, document, and rename enumerative instantiation.

* Clang format.
src/Makefile.am diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/inst_strategy_enumerative.cpp [new file with mode: 0644] blob
src/theory/quantifiers/inst_strategy_enumerative.h [new file with mode: 0644] blob
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history