edits

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index 3e05452019f17d6a576e68a610889ed2b81f4187..62f6bff6fc7c9e4c133aa10ce2f0abb04480761e 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -28,12 +28,12 @@ BooleanOrder::BooleanOrder(Order *_order, uint64_t _first, uint64_t _second) :
 BooleanPredicate::BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, Boolean *_undefinedStatus) :
        Boolean(PREDICATEOP),
        predicate(_predicate),
+       encoding(this),
        inputs(_inputs, _numInputs),
        undefStatus(_undefinedStatus) {
        for (uint i = 0; i < _numInputs; i++) {
                GETELEMENTPARENTS(_inputs[i])->push(this);
        }
-       initPredicateEncoding(&encoding, this);
 }
 
 BooleanLogic::BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint asize) :
@@ -44,5 +44,4 @@ BooleanLogic::BooleanLogic(CSolver *solver, LogicOp _op, Boolean **array, uint a
 }
 
 BooleanPredicate::~BooleanPredicate() {
-       deleteFunctionEncoding(&encoding);
 }