projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 865fb41) | patch
Split E-matching strategies to own files (#5807)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 25 Jan 2021 14:59:18 +0000 (08:59 -0600)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 14:59:18 +0000 (08:59 -0600)
commitf48d8d6a1bc2b42608c0d9b1e5ad2cc091cb8d99
tree1b080e9c287eb757eb42bf2d320e41aa3adff1fftree
parent865fb413bf91d395a90cf0cc502e1dbc7d2d8ebbcommit | diff
Split E-matching strategies to own files (#5807)

Code move + format only
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/ematching/inst_strategy.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching_user.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_strategy_e_matching_user.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/instantiation_engine.cpp diff | blob | history
src/theory/quantifiers/ematching/instantiation_engine.h diff | blob | history