Switch array struct to class

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

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 12996bd42a7c30c2d11ba770b47a1deb207f1017..80dc004c7583d3b5640568619a6aa56f11148eb3 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -50,7 +50,7 @@ class BooleanPredicate : public Boolean {
        ~BooleanPredicate();
        Predicate *predicate;
        FunctionEncoding encoding;
-       ArrayElement inputs;
+       Array<Element *> inputs;
        Boolean *undefStatus;
        FunctionEncoding * getFunctionEncoding() {return &encoding;}
        MEMALLOC;
@@ -59,9 +59,8 @@ class BooleanPredicate : public Boolean {
 class BooleanLogic : public Boolean {
  public:
        BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint asize);
-       ~BooleanLogic();
        LogicOp op;
-       ArrayBoolean inputs;
+       Array<Boolean *> inputs;
        MEMALLOC;
 };
 #endif