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/quant_module.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/quant_module.cpp')
| -rw-r--r-- | src/theory/quantifiers/quant_module.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers/quant_module.cpp b/src/theory/quantifiers/quant_module.cpp index 1d2da7e79..ab08df233 100644 --- a/src/theory/quantifiers/quant_module.cpp +++ b/src/theory/quantifiers/quant_module.cpp @@ -67,11 +67,6 @@ quantifiers::TermDb* QuantifiersModule::getTermDatabase() const return d_quantEngine->getTermDatabase(); } -quantifiers::TermUtil* QuantifiersModule::getTermUtil() const -{ - return d_quantEngine->getTermUtil(); -} - quantifiers::QuantifiersState& QuantifiersModule::getState() { return d_qstate; |