diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-17 21:15:39 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-17 21:15:39 -0600 |
commit | 0bd5ef36d2b773912c3049f8f3fed62eaf0fa68b (patch) | |
tree | 10885ad08d1a3b7d311b21a8223183e8cfe611d1 /src/theory/quantifiers_engine.cpp | |
parent | 7ca17deba3b0f0308bda304ac739caf43e9536c0 (diff) |
Eliminate non-static members in term util (#5919)
This makes it so that TermUtil is now a collection of static methods. Further refactoring will make this a standalone file of utility methods.
This breaks all dependencies on the TermUtil object in QuantifiersEngine. It also starts breaking some of the depenendencies on quantifiers engine in sygus.
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
-rw-r--r-- | src/theory/quantifiers_engine.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index ebec7a110..1c01eae65 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -45,7 +45,6 @@ QuantifiersEngine::QuantifiersEngine( d_tr_trie(new inst::TriggerTrie), d_model(nullptr), d_builder(nullptr), - d_term_util(new quantifiers::TermUtil), d_term_db(new quantifiers::TermDb(qstate, qim, d_qreg, this)), d_eq_query(nullptr), d_sygus_tdb(nullptr), @@ -166,10 +165,6 @@ quantifiers::TermDbSygus* QuantifiersEngine::getTermDatabaseSygus() const { return d_sygus_tdb.get(); } -quantifiers::TermUtil* QuantifiersEngine::getTermUtil() const -{ - return d_term_util.get(); -} quantifiers::QuantAttributes* QuantifiersEngine::getQuantAttributes() const { return d_quant_attr.get(); |