diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-03 16:00:26 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-03 16:00:26 -0500 |
| commit | 8828e545cfb838d806a0ad382671a9af131e8431 (patch) | |
| tree | a488c085adf0ba36b2d3a0d24b547c1a2eb29926 /src/theory/quantifiers/cegqi | |
| parent | 31b3986ea297d54e828cd6c34e3689435ba63d7c (diff) | |
Minor cleanup of quantifiers engine (#4994)
Eventually, QuanitifersEngine should not depend on TheoryEngine. This is a first step in this direction. It eliminates some uses of TheoryEngine and eliminates a unnecessary friend relationship between quantifiers::TermDb and TheoryEngine. Further refactoring will be done in future PRs.
Diffstat (limited to 'src/theory/quantifiers/cegqi')
| -rw-r--r-- | src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp index a771309f0..ab1bb16b5 100644 --- a/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp +++ b/src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp @@ -205,7 +205,7 @@ bool InstStrategyCegqi::registerCbqiLemma(Node q) dlds = itds->second.get(); } // it is appended to the list of strategies - d_quantEngine->getTheoryEngine()->getDecisionManager()->registerStrategy( + d_quantEngine->getDecisionManager()->registerStrategy( DecisionManager::STRAT_QUANT_CEGQI_FEASIBLE, dlds); return true; }else{ |