src/Backend/satelemencoder.h

   1 #ifndef SATELEMENTENCODER_H
   2 #define SATELEMENTENCODER_H
   3
   4 Edge getElementValueBinaryIndexConstraint(SATEncoder * This, Element* element, uint64_t value);
   5 Edge getElementValueConstraint(SATEncoder* encoder, Element* This, uint64_t value);
   6
   7 #endif