+
+OrderPair::~OrderPair() {
+}
+
+Edge OrderPair::getConstraint() {
+ return constraint;
+}
+
+Edge OrderPair::getNegatedConstraint() {
+ return constraintNegate(constraint);
+}
+
+bool OrderPair::getConstraintValue(CSolver *solver) {
+ return getValueCNF(solver->getSATEncoder()->getCNF(), constraint);
+}
+
+bool OrderPair::getNegatedConstraintValue(CSolver *solver) {
+ return getValueCNF(solver->getSATEncoder()->getCNF(), constraintNegate(constraint));
+}