From 4ddf8d3ccc054cd1be6bae25844373ed2488360a Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Sun, 30 Aug 2015 02:11:45 +0200 Subject: Allow to generate initial values with empty constraint set --- lib/Solver/IndependentSolver.cpp | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'lib/Solver') diff --git a/lib/Solver/IndependentSolver.cpp b/lib/Solver/IndependentSolver.cpp index cfe1bb16..a7685e46 100644 --- a/lib/Solver/IndependentSolver.cpp +++ b/lib/Solver/IndependentSolver.cpp @@ -454,6 +454,12 @@ bool IndependentSolver::computeInitialValues(const Query& query, std::vector< std::vector > &values, bool &hasSolution){ std::list * factors = new std::list; + + // We assume the query has a solution except proven differently + // This is important in case we don't have any constraints but + // we need initial values for requested array objects. + hasSolution = true; + getAllIndependentConstraintsSets(query, factors); //Used to rearrange all of the answers into the correct order std::map > retMap; -- cgit 1.4.1