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/sygus/synth_engine.cpp | |
parent | d44ef0e9af9230e1949b0d3d4b03f1fcd497ad6d (diff) |
Encapsulate synth engine (#3271)
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_engine.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus/synth_engine.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/quantifiers/sygus/synth_engine.cpp b/src/theory/quantifiers/sygus/synth_engine.cpp index f78886249..d13bd2dcf 100644 --- a/src/theory/quantifiers/sygus/synth_engine.cpp +++ b/src/theory/quantifiers/sygus/synth_engine.cpp @@ -35,8 +35,8 @@ namespace quantifiers { SynthEngine::SynthEngine(QuantifiersEngine* qe, context::Context* c) : QuantifiersModule(qe) { - d_conjs.push_back( - std::unique_ptr<SynthConjecture>(new SynthConjecture(d_quantEngine))); + d_conjs.push_back(std::unique_ptr<SynthConjecture>( + new SynthConjecture(d_quantEngine, this))); d_conj = d_conjs.back().get(); } @@ -255,8 +255,8 @@ void SynthEngine::assignConjecture(Node q) // allocate a new synthesis conjecture if not assigned if (d_conjs.back()->isAssigned()) { - d_conjs.push_back( - std::unique_ptr<SynthConjecture>(new SynthConjecture(d_quantEngine))); + d_conjs.push_back(std::unique_ptr<SynthConjecture>( + new SynthConjecture(d_quantEngine, this))); } d_conjs.back()->assign(q); } |