diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-04 10:41:49 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-11-04 10:42:01 +0100 |
| commit | f9e109b0ac12ffbfd167a19dcd60f16241a0542c (patch) | |
| tree | 07547a834d60cbbbd75c91e1695c5518774c813e /src/theory/quantifiers/instantiation_engine.h | |
| parent | 5fae5ff49bfc9c96c03c52f5e2a5caa52ac40d03 (diff) | |
Better combination of UF with cbqi, refactor quantifiers intialization.
Diffstat (limited to 'src/theory/quantifiers/instantiation_engine.h')
| -rw-r--r-- | src/theory/quantifiers/instantiation_engine.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers/instantiation_engine.h b/src/theory/quantifiers/instantiation_engine.h index bc1199588..4a990ff6b 100644 --- a/src/theory/quantifiers/instantiation_engine.h +++ b/src/theory/quantifiers/instantiation_engine.h @@ -74,8 +74,6 @@ private: public: InstantiationEngine( QuantifiersEngine* qe ); ~InstantiationEngine(); - /** initialize */ - void finishInit(); void presolve(); bool needsCheck( Theory::Effort e ); void reset_round( Theory::Effort e ); |