Interface should be bool, not happenedbefore
[satune.git] / src / Translator / orderpairresolver.h
index 80ef7e491ae0f07d17b5c339d3e2caae78ea5305..bf7210cf7a3f74eb334481680e0c2809bafb5a58 100644 (file)
 class OrderPairResolver : public OrderResolver {
 public:
        OrderPairResolver(CSolver *_solver, Order *_order);
-       HappenedBefore resolveOrder(uint64_t first, uint64_t second);
+       bool resolveOrder(uint64_t first, uint64_t second);
        virtual ~OrderPairResolver();
 private:
        CSolver *solver;
        Order *order;
-       HappenedBefore resolveTotalOrder(uint64_t first, uint64_t second);
+       bool resolveTotalOrder(uint64_t first, uint64_t second);
 };
 
 #endif/* ORDERPAIRRESOLVER_H */