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));