From 3864e5b351f8262b769f0b2f4034f986871f3d14 Mon Sep 17 00:00:00 2001 From: Hamed Date: Tue, 22 Aug 2017 15:25:16 -0700 Subject: [PATCH] Fixin memory bug --- src/Backend/satorderencoder.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/Backend/satorderencoder.c b/src/Backend/satorderencoder.c index bb076ec..64f414c 100644 --- a/src/Backend/satorderencoder.c +++ b/src/Backend/satorderencoder.c @@ -61,6 +61,12 @@ Edge orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder){ Predicate *predicate =allocPredicateOperator(LT, (Set*[]){order->set, order->set}, 2); Boolean * boolean=allocBooleanPredicate(predicate, (Element *[]){elem1,elem2}, 2, NULL); setFunctionEncodingType(getPredicateFunctionEncoding((BooleanPredicate*)boolean), CIRCUIT); + {//Adding new elements and boolean/predicate to solver regarding memory management + pushVectorBoolean(This->solver->allBooleans, boolean); + pushVectorPredicate(This->solver->allPredicates, predicate); + pushVectorElement(This->solver->allElements, elem1); + pushVectorElement(This->solver->allElements, elem2); + } return encodeConstraintSATEncoder(This, boolean); } -- 2.34.1