Adding DecomposeOrderResolver

[satune.git] / src / ASTTransform / decomposeordertransform.cc

diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index 262497e257b0060ef0a26675def7b6b10b1425bf..6be7beab8d4df4c458682bbaabec97778bd47fb4 100644 (file)
--- a/src/ASTTransform/decomposeordertransform.cc
+++ b/src/ASTTransform/decomposeordertransform.cc
@@ -13,6 +13,7 @@
 #include "mutableset.h"
 #include "ordergraph.h"
 #include "csolver.h"
+#include "decomposeorderresolver.h"
 
 
 DecomposeOrderTransform::DecomposeOrderTransform(CSolver* _solver)
@@ -77,7 +78,7 @@ void DecomposeOrderTransform::doTransform(){
                        neworder->addOrderConstraint(orderconstraint);
                }
        }
-
+       currOrder->setOrderResolver( new DecomposeOrderResolver(currGraph, ordervec) );
        uint pcvsize = partialcandidatevec.getSize();
        for (uint i = 0; i < pcvsize; i++) {
                Order *neworder = partialcandidatevec.get(i);