Fix missing variables from objective function in NRA

paultristanwagner · Jul 15, 2024 · c85c048 · c85c048
1 parent db6cce8
commit c85c048
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...in/java/me/paultristanwagner/satchecking/theory/solver/NonLinearRealArithmeticSolver.java b/...in/java/me/paultristanwagner/satchecking/theory/solver/NonLinearRealArithmeticSolver.java
@@ -60,6 +60,8 @@ public TheoryResult<MultivariatePolynomialConstraint> solve() {
     List<String> variableOrdering = null;
     String freshVariableName = null;
     if (objective != null) {
+      variablesSet.addAll(objective.getObjective().variables);
+
       freshVariableName = freshVariableName(variablesSet);
       MultivariatePolynomial freshVariable = variable(freshVariableName);
       MultivariatePolynomialConstraint helper = MultivariatePolynomialConstraint.equals(freshVariable, objective.getObjective());