Adding support for Integer Encoding ...

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

diff --git a/src/Backend/sattranslator.h b/src/Backend/sattranslator.h
index ad204f39832c4eabe2e4e7b0a8838315969c6c89..be5c8c0fdfd11082f6f1457b45f206573ef7722d 100644 (file)
--- a/src/Backend/sattranslator.h
+++ b/src/Backend/sattranslator.h
@@ -14,6 +14,9 @@
 
 bool getBooleanVariableValueSATTranslator( CSolver *This, Boolean *boolean);
 HappenedBefore getOrderConstraintValueSATTranslator(CSolver *This, Order *order, uint64_t first, uint64_t second);
+/**
+ * most significant bit is represented by variable index 0 
+ */
 uint64_t getElementValueBinaryIndexSATTranslator(CSolver *This, ElementEncoding *elemEnc);
 uint64_t getElementValueBinaryValueSATTranslator(CSolver *This, ElementEncoding *elemEnc);
 uint64_t getElementValueOneHotSATTranslator(CSolver *This, ElementEncoding *elemEnc);