edits

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

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index db1bd7df788be614f8292e93874ba952b0b23a48..12996bd42a7c30c2d11ba770b47a1deb207f1017 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -52,10 +52,10 @@ class BooleanPredicate : public Boolean {
        FunctionEncoding encoding;
        ArrayElement inputs;
        Boolean *undefStatus;
+       FunctionEncoding * getFunctionEncoding() {return &encoding;}
        MEMALLOC;
 };
 
-
 class BooleanLogic : public Boolean {
  public:
        BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint asize);
@@ -64,16 +64,4 @@ class BooleanLogic : public Boolean {
        ArrayBoolean inputs;
        MEMALLOC;
 };
-
-
-
-Boolean *allocBooleanVar(VarType t);
-Boolean *allocBooleanOrder(Order *order, uint64_t first, uint64_t second);
-Boolean *allocBooleanPredicate(Predicate *predicate, Element **inputs, uint numInputs, Boolean *undefinedStatus);
-Boolean *allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean **array, uint asize);
-void deleteBoolean(Boolean *This);
-static inline FunctionEncoding *getPredicateFunctionEncoding(BooleanPredicate *func) {
-       return &func->encoding;
-}
-
 #endif