Adding a boolean for undefinedStatus

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

diff --git a/src/AST/boolean.c b/src/AST/boolean.c
index 622c8a338ca83df1c21eee3eaec19bb4dccfc8bf..9f4b2191367e38e18e0ff587bb9a345b98376998 100644 (file)
--- a/src/AST/boolean.c
+++ b/src/AST/boolean.c
@@ -24,7 +24,7 @@ Boolean* allocBooleanOrder(Order* order, uint64_t first, uint64_t second) {
        return & This -> base;
 }
 
-Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs){
+Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs, Boolean* undefinedStatus){
        BooleanPredicate* This = (BooleanPredicate*) ourmalloc(sizeof(BooleanPredicate));
        GETBOOLEANTYPE(This)= PREDICATEOP;
        This->predicate=predicate;
@@ -35,7 +35,7 @@ Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint n
                pushVectorASTNode(GETELEMENTPARENTS(inputs[i]), (ASTNode *)This);
        }
        initPredicateEncoding(&This->encoding, (Boolean *) This);
-
+       This->undefStatus = undefinedStatus;
        return & This->base;
 }