diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 22bf37470..74a8fab73 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -1224,6 +1224,14 @@ void TheoryEngine::printInstantiations( std::ostream& out ) { } } +void TheoryEngine::printSynthSolution( std::ostream& out ) { + if( d_quantEngine ){ + d_quantEngine->printSynthSolution( out ); + }else{ + out << "Internal error : synth solution not available when quantifiers are not present." << std::endl; + } +} + static Node mkExplanation(const std::vector<NodeTheoryPair>& explanation) { std::set<TNode> all; |