3 * File: orderpairresolver.h
6 * Created on September 1, 2017, 3:36 PM
9 #ifndef ORDERPAIRRESOLVER_H
10 #define ORDERPAIRRESOLVER_H
12 #include "orderresolver.h"
14 class OrderPairResolver : public OrderResolver {
16 OrderPairResolver(CSolver *_solver, Order *_order);
17 bool resolveOrder(uint64_t first, uint64_t second);
18 HashtableOrderPair *getOrderPairTable() { return orderPairTable;}
19 virtual ~OrderPairResolver();
23 HashtableOrderPair *orderPairTable;
25 bool getOrderConstraintValue(uint64_t first, uint64_t second);
28 #endif/* ORDERPAIRRESOLVER_H */