Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / ASTTransform / integerencoding.cc
index 6be73ea..2a7b901 100644 (file)
@@ -17,6 +17,9 @@ IntegerEncodingTransform::~IntegerEncodingTransform() {
 }
 
 void IntegerEncodingTransform::doTransform() {
+       if(solver->isUnSAT()){
+               return;
+       }
        HashsetOrder *orders = solver->getActiveOrders()->copy();
        SetIteratorOrder *orderit = orders->iterator();
        while (orderit->hasNext()) {