projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f48d8d6) | patch
Split inst match generator into multiple files (#5805)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 25 Jan 2021 16:29:39 +0000 (10:29 -0600)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 16:29:39 +0000 (10:29 -0600)
commit1dc23a88520ac3053f15bc16df2e302bbed49765
tree9b8dc79393f34cdd5a17650a7708838616036154tree
parentf48d8d6a1bc2b42608c0d9b1e5ad2cc091cb8d99commit | diff
Split inst match generator into multiple files (#5805)

No code changes on this PR, only move + format.
12 files changed:
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator.h diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator_multi.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator_multi.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator_multi_linear.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator_multi_linear.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator_simple.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator_simple.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/ematching/var_match_generator.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/var_match_generator.h [new file with mode: 0644] blob