src/Backend/satelemencoder.h

   1 #ifndef SATELEMENTENCODER_H
   2 #define SATELEMENTENCODER_H
   3
   4 Edge getElementValueOneHotConstraint(SATEncoder *This, Element *elem, uint64_t value);
   5 Edge getElementValueUnaryConstraint(SATEncoder *This, Element *elem, uint64_t value);
   6 Edge getElementValueBinaryIndexConstraint(SATEncoder *This, Element *element, uint64_t value);
   7 Edge getElementValueBinaryValueConstraint(SATEncoder *This, Element *element, uint64_t value);
   8 Edge getElementValueConstraint(SATEncoder *encoder, Element *This, uint64_t value);
   9 void allocElementConstraintVariables(ElementEncoding *This, uint numVars);
  10 void generateOneHotEncodingVars(SATEncoder *This, ElementEncoding *encoding);
  11 void generateUnaryEncodingVars(SATEncoder *This, ElementEncoding *encoding);
  12 void generateBinaryIndexEncodingVars(SATEncoder *This, ElementEncoding *encoding);
  13 void generateBinaryValueEncodingVars(SATEncoder *This, ElementEncoding *encoding);
  14 void generateElementEncoding(SATEncoder *This, Element *element);
  15 #endif