5 * Created on July 1, 2017, 4:22 PM
11 #include "classlist.h"
13 #include "constraint.h"
17 OrderPair(uint64_t first, uint64_t second, Edge constraint = E_NULL);
20 virtual Edge getConstraint();
21 virtual bool getConstraintValue(CSolver *solver);
22 //for the cases that we swap first and second ... For total order is straight forward.
23 // but for partial order it has some complexity which should be hidden ... -HG
24 virtual Edge getNegatedConstraint();
25 virtual bool getNegatedConstraintValue(CSolver *solver);
33 #endif/* ORDERPAIR_H */