X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fsattranslator.h;h=52e40a7bcd2854c7590736789b64c3766485ee7c;hb=36e4dc00d0322622c568a98d6a66b47398653889;hp=ea0085c7bcd99b95e3316ba19951c25c1d079274;hpb=93ff173fb80070dd48c884449095d0a7bc65160f;p=satune.git

diff --git a/src/Backend/sattranslator.h b/src/Backend/sattranslator.h
index ea0085c..52e40a7 100644
--- a/src/Backend/sattranslator.h
+++ b/src/Backend/sattranslator.h
@@ -11,7 +11,10 @@
 #include "classlist.h"
 
 bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
+uint64_t getElementValueBinaryIndexSATTranslator(CSolver* This, ElementEncoding* elemEnc);
+uint64_t getElementValueBinaryValueSATTranslator(CSolver* This, ElementEncoding* elemEnc);
 uint64_t getElementValueOneHotSATTranslator(CSolver* This, ElementEncoding* elemEnc);
+uint64_t getElementValueUnarySATTranslator(CSolver* This, ElementEncoding* elemEnc);
 uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
 
 #endif /* SATTRANSLATOR_H */