2 * File: sattranslator.h
5 * Created on July 11, 2017, 5:27 PM
8 #ifndef SATTRANSLATOR_H
9 #define SATTRANSLATOR_H
11 #include "classlist.h"
15 bool getBooleanVariableValueSATTranslator( CSolver *This, Boolean *boolean);
18 * most significant bit is represented by variable index 0
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);
26 #endif/* SATTRANSLATOR_H */