src/Translator/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 /**
  18  * most significant bit is represented by variable index 0
  19  */
  20 uint64_t getElementValueBinaryIndexSATTranslator(CSolver *This, ElementEncoding *elemEnc);
  21 uint64_t getElementValueBinaryValueSATTranslator(CSolver *This, ElementEncoding *elemEnc);
  22 uint64_t getElementValueOneHotSATTranslator(CSolver *This, ElementEncoding *elemEnc);
  23 uint64_t getElementValueUnarySATTranslator(CSolver *This, ElementEncoding *elemEnc);
  24 uint64_t getElementValueSATTranslator(CSolver *This, Element *element);
  25
  26 #endif/* SATTRANSLATOR_H */
  27