diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-12 15:37:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 15:37:00 -0500 |
| commit | ad18e6d4bab518a29648823eca9ba5ee1ebc8400 (patch) | |
| tree | a377d00e07e5af4cd669252c1ebb1b11cc5c3506 /src/theory/quantifiers_engine.h | |
| parent | d44ef0e9af9230e1949b0d3d4b03f1fcd497ad6d (diff) | |
Encapsulate synth engine (#3271)
Diffstat (limited to 'src/theory/quantifiers_engine.h')
| -rw-r--r-- | src/theory/quantifiers_engine.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index 36b58fd60..0a534d090 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -35,7 +35,6 @@ #include "theory/quantifiers/quantifiers_attributes.h" #include "theory/quantifiers/relevant_domain.h" #include "theory/quantifiers/skolemize.h" -#include "theory/quantifiers/sygus/synth_engine.h" #include "theory/quantifiers/sygus/term_database_sygus.h" #include "theory/quantifiers/term_database.h" #include "theory/quantifiers/term_enumeration.h" @@ -112,10 +111,6 @@ public: /** get relevant domain */ quantifiers::RelevantDomain* getRelevantDomain() const; //---------------------- end utilities - //---------------------- modules (TODO remove these #1163) - /** ceg instantiation */ - quantifiers::SynthEngine* getSynthEngine() const; - //---------------------- end modules private: /** * Maps quantified formulas to the module that owns them, if any module has |