Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / ASTTransform / decomposeordertransform.cc
index 62b0828..eaf8141 100644 (file)
@@ -28,6 +28,8 @@ DecomposeOrderTransform::~DecomposeOrderTransform() {
 }
 
 void DecomposeOrderTransform::doTransform() {
+       if(solver->isUnSAT())
+               return;
        HashsetOrder *orders = solver->getActiveOrders()->copy();
        SetIteratorOrder *orderit = orders->iterator();
        while (orderit->hasNext()) {