Adding unary encoding in sat solution translator ...

[satune.git] / src / Backend / sattranslator.h

diff --git a/src/Backend/sattranslator.h b/src/Backend/sattranslator.h
index ea0085c7bcd99b95e3316ba19951c25c1d079274..64ad37ddafc1d524b13de030dda2bf351136524b 100644 (file)
--- a/src/Backend/sattranslator.h
+++ b/src/Backend/sattranslator.h
@@ -12,6 +12,7 @@
 
 bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
 uint64_t getElementValueOneHotSATTranslator(CSolver* This, ElementEncoding* elemEnc);
+uint64_t getElementValueUnarySATTranslator(CSolver* This, ElementEncoding* elemEnc);
 uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
 
 #endif /* SATTRANSLATOR_H */