Adding support for partial order in DecomposeOrderResolver

[satune.git] / src / Translator / decomposeorderresolver.cc

diff --git a/src/Translator/decomposeorderresolver.cc b/src/Translator/decomposeorderresolver.cc
index f226fdaee8100dd7915b101d329f57914fb4f7e4..8a177faac749a4907d6c16210bb239d86da602cb 100644 (file)
--- a/src/Translator/decomposeorderresolver.cc
+++ b/src/Translator/decomposeorderresolver.cc
@@ -37,7 +37,7 @@ bool DecomposeOrderResolver::resolveOrder(uint64_t first, uint64_t second) {
                        case SATC_TOTAL:
                                return from->sccNum < to->sccNum;
                        case SATC_PARTIAL:
-                       //Adding support for partial order ...
+                               return resolvePartialOrder(from, to);
                        default:
                                ASSERT(0);
                        }
@@ -51,3 +51,12 @@ bool DecomposeOrderResolver::resolveOrder(uint64_t first, uint64_t second) {
        }
 }
 
+bool DecomposeOrderResolver::resolvePartialOrder(OrderNode* first, OrderNode* second){
+       if(first->sccNum > second->sccNum){
+               return false;
+       } else {
+               return graph->isTherePath(first, second);
+       }
+               
+}
+