From 57cd11e3a96d5408d00917813a364ed311638577 Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Mon, 22 Jan 2018 15:17:13 +0100 Subject: [PATCH] Wrapper::compute: return true if new solutions are found --- core/src/container.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/core/src/container.cpp b/core/src/container.cpp index bb510dcb..97f70280 100644 --- a/core/src/container.cpp +++ b/core/src/container.cpp @@ -593,7 +593,9 @@ bool Wrapper::canCompute() const bool Wrapper::compute() { - return wrapped()->pimpl()->compute(); + size_t num_before = numSolutions(); + wrapped()->pimpl()->compute(); + return numSolutions() > num_before; } size_t Wrapper::numSolutions() const