2 #include "constraint.h"
4 #include "satencoder.h"
6 OrderPair::OrderPair(uint64_t _first, uint64_t _second, Edge _constraint) :
9 constraint(_constraint) {
12 OrderPair::OrderPair() :
18 OrderPair::~OrderPair() {
21 Edge OrderPair::getConstraint() {
25 Edge OrderPair::getNegatedConstraint() {
26 return constraintNegate(constraint);
29 bool OrderPair::getConstraintValue(CSolver *solver) {
30 return getValueCNF(solver->getSATEncoder()->getCNF(), constraint);
33 bool OrderPair::getNegatedConstraintValue(CSolver *solver) {
34 return getValueCNF(solver->getSATEncoder()->getCNF(), constraintNegate(constraint));