src/Backend/sattranslator.h

   1 /*
   2  * File:   sattranslator.h
   3  * Author: hamed
   4  *
   5  * Created on July 11, 2017, 5:27 PM
   6  */
   7
   8 #ifndef SATTRANSLATOR_H
   9 #define SATTRANSLATOR_H
  10
  11 #include "classlist.h"
  12 #include "ops.h"
  13
  14
  15 bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
  16 HappenedBefore getOrderConstraintValueSATTranslator(CSolver* This, Order * order, uint64_t first, uint64_t second);
  17 uint64_t getElementValueBinaryIndexSATTranslator(CSolver* This, ElementEncoding* elemEnc);
  18 uint64_t getElementValueBinaryValueSATTranslator(CSolver* This, ElementEncoding* elemEnc);
  19 uint64_t getElementValueOneHotSATTranslator(CSolver* This, ElementEncoding* elemEnc);
  20 uint64_t getElementValueUnarySATTranslator(CSolver* This, ElementEncoding* elemEnc);
  21 uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
  22
  23 #endif /* SATTRANSLATOR_H */
  24