Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / ASTTransform / varorderingopt.cc
index 890afd9..9fd8c60 100644 (file)
@@ -26,6 +26,9 @@ VarOrderingOpt::~VarOrderingOpt() {
 }
 
 void VarOrderingOpt::doTransform() {
+       if(solver->isUnSAT()){
+               return;
+       }
        BooleanVarOrdering direction = (BooleanVarOrdering)solver->getTuner()->getTunable(VARIABLEORDER, &boolVarOrderingDesc);
        if ( direction == CONSTRAINTORDERING ) {
                return;