Adding support for partial order in DecomposeOrderResolver

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

diff --git a/src/Translator/decomposeorderresolver.h b/src/Translator/decomposeorderresolver.h
index be25a7d76dd379f453af4030ac1691401a0e4040..f1d06c6914924f4f3d708de0f24a0c52828dabd1 100644 (file)
--- a/src/Translator/decomposeorderresolver.h
+++ b/src/Translator/decomposeorderresolver.h
@@ -17,6 +17,7 @@ class DecomposeOrderResolver : public OrderResolver {
 public:
        DecomposeOrderResolver(OrderGraph *graph, Vector<Order *> &orders);
        bool resolveOrder(uint64_t first, uint64_t second);
+       bool resolvePartialOrder(OrderNode* first, OrderNode* second);
        virtual ~DecomposeOrderResolver();
 private:
        OrderGraph *graph;