Moving OrderPairTable to the resolver + hide translation complexity in OrderPair...

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

diff --git a/src/Translator/decomposeorderresolver.h b/src/Translator/decomposeorderresolver.h
index 6a7d735650e204a706229d5857b688adab9fb99b..f1d06c6914924f4f3d708de0f24a0c52828dabd1 100644 (file)
--- a/src/Translator/decomposeorderresolver.h
+++ b/src/Translator/decomposeorderresolver.h
@@ -1,5 +1,5 @@
 
-/* 
+/*
  * File:   DecomposeOrderResolver.h
  * Author: hamed
  *
@@ -13,16 +13,16 @@
 #include "structs.h"
 #include "orderresolver.h"
 
-class DecomposeOrderResolver : public OrderResolver{
+class DecomposeOrderResolver : public OrderResolver {
 public:
-       DecomposeOrderResolver(OrderGraph* graph, Vector<Order *> & orders);
+       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;
-       Vector<Order*> orders;
-       
-       HappenedBefore getOrder(OrderNode* from, OrderNode* to);
+       OrderGraph *graph;
+       Vector<Order *> orders;
 };
 
-#endif /* DECOMPOSEORDERRESOLVER_H */
+#endif/* DECOMPOSEORDERRESOLVER_H */