src/Backend/orderpair.cc

   1 #include "orderpair.h"
   2 #include "constraint.h"
   3 #include "csolver.h"
   4 #include "satencoder.h"
   5
   6 OrderPair::OrderPair(uint64_t _first, uint64_t _second, Edge _constraint) :
   7         first(_first),
   8         second(_second),
   9         constraint(_constraint) {
  10 }
  11
  12 OrderPair::OrderPair() :
  13         first(0),
  14         second(0),
  15         constraint(E_NULL) {
  16 }
  17
  18 OrderPair::~OrderPair() {
  19 }
  20
  21 Edge OrderPair::getConstraint() {
  22         return constraint;
  23 }
  24
  25 Edge OrderPair::getNegatedConstraint() {
  26         return constraintNegate(constraint);
  27 }
  28
  29 bool OrderPair::getConstraintValue(CSolver *solver) {
  30         return getValueCNF(solver->getSATEncoder()->getCNF(), constraint);
  31 }
  32
  33 bool OrderPair::getNegatedConstraintValue(CSolver *solver) {
  34         return getValueCNF(solver->getSATEncoder()->getCNF(), constraintNegate(constraint));
  35 }