projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a09a4a3) | patch
Replace a some more static options (#8042)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 3 Feb 2022 19:57:41 +0000 (11:57 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 19:57:41 +0000 (19:57 +0000)
commite032de7a66f789cdbe7ae964428ca5207ac89a07
treeadb90fefbb38e64510946a571559d7af5620b4b4tree
parenta09a4a300d52cdb4026bbba0184da152e0a65296commit | diff
Replace a some more static options (#8042)

We now have access to the options in a few more places in quantifiers.
src/theory/quantifiers/ematching/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator_multi_linear.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator_simple.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quantifiers_modules.cpp diff | blob | history