Adding a boolean for undefinedStatus

[satune.git] / src / AST / boolean.h

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 928ba41bc78fec2d252e5bb0b6da2cb559752dba..3d3a90639b8b7596c2849fdc749e233ae6ebecb8 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -44,11 +44,12 @@ struct BooleanPredicate {
        Predicate * predicate;
        FunctionEncoding encoding;
        ArrayElement inputs;
+       Boolean* undefStatus;
 };
 
 Boolean * allocBooleanVar(VarType t);
 Boolean * allocBooleanOrder(Order * order, uint64_t first, uint64_t second);
-Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs);
+Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs, Boolean* undefinedStatus);
 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
 void deleteBoolean(Boolean * This);