- Edge getElementValueOneHotConstraint(Element *elem, uint64_t value);
- Edge getElementValueUnaryConstraint(Element *elem, uint64_t value);
- Edge getElementValueBinaryIndexConstraint(Element *element, uint64_t value);
- Edge getElementValueBinaryValueConstraint(Element *element, uint64_t value);
- Edge getElementValueConstraint(Element *element, uint64_t value);
+ Edge getElementValueOneHotConstraint(Element *elem, Polarity p, uint64_t value);
+ Edge getElementValueUnaryConstraint(Element *elem, Polarity p, uint64_t value);
+ Edge getElementValueBinaryIndexConstraint(Element *element, Polarity p, uint64_t value);
+ Edge getElementValueBinaryValueConstraint(Element *element, Polarity p, uint64_t value);
+ Edge getElementValueConstraint(Element *element, Polarity p, uint64_t value);