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
  13 bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
  14 uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
  15
  16 #endif /* SATTRANSLATOR_H */
  17