Adding a boolean for undefinedStatus

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 99cba299e389e121afaff8140bb480c13f16b95d..2a3fea0332de425893522cee00255e7c2ff6e5ce 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -103,7 +103,7 @@ Element * applyFunction(CSolver *, Function * function, Element ** array, uint n
 
 /** This function applies a predicate to the Elements in its input. */
 
-Boolean * applyPredicate(CSolver *, Predicate * predicate, Element ** inputs, uint numInputs);
+Boolean * applyPredicate(CSolver *, Predicate * predicate, Element ** inputs, uint numInputs, Boolean* undefinedStatus);
 
 /** This function applies a logical operation to the Booleans in its input. */