diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-01-25 08:59:18 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-25 08:59:18 -0600 |
| commit | f48d8d6a1bc2b42608c0d9b1e5ad2cc091cb8d99 (patch) | |
| tree | 1b080e9c287eb757eb42bf2d320e41aa3adff1ff /src/CMakeLists.txt | |
| parent | 865fb413bf91d395a90cf0cc502e1dbc7d2d8ebb (diff) | |
Split E-matching strategies to own files (#5807)
Code move + format only
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 632adae1e..60e79fbe3 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -658,8 +658,11 @@ libcvc4_add_sources( theory/quantifiers/ematching/ho_trigger.h theory/quantifiers/ematching/inst_match_generator.cpp theory/quantifiers/ematching/inst_match_generator.h + theory/quantifiers/ematching/inst_strategy.h theory/quantifiers/ematching/inst_strategy_e_matching.cpp theory/quantifiers/ematching/inst_strategy_e_matching.h + theory/quantifiers/ematching/inst_strategy_e_matching_user.cpp + theory/quantifiers/ematching/inst_strategy_e_matching_user.h theory/quantifiers/ematching/instantiation_engine.cpp theory/quantifiers/ematching/instantiation_engine.h theory/quantifiers/ematching/trigger.cpp |