Element *elem = constraint->inputs.get(i);
encodeElementSATEncoder(elem);
}
- VectorEdge *clauses = allocDefVectorEdge(); // Setup array of clauses
+ VectorEdge *clauses = vector;
uint indices[numDomains]; //setup indices
bzero(indices, sizeof(uint) * numDomains);
}
}
if (getSizeVectorEdge(clauses) == 0) {
- deleteVectorEdge(clauses);
+ clearVectorEdge(clauses);
return E_False;
}
Edge cor = constraintOR(cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
- deleteVectorEdge(clauses);
+ clearVectorEdge(clauses);
return generateNegation ? constraintNegate(cor) : cor;
}
encodeElementSATEncoder(elem0);
Element *elem1 = constraint->inputs.get(1);
encodeElementSATEncoder(elem1);
- ElementEncoding *ee0 = getElementEncoding(elem0);
- ElementEncoding *ee1 = getElementEncoding(elem1);
+ ElementEncoding *ee0 = elem0->getElementEncoding();
+ ElementEncoding *ee1 = elem1->getElementEncoding();
ASSERT(ee0->numVars == ee1->numVars);
uint numVars = ee0->numVars;
switch (predicate->getOp()) {