X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fsattranslator.h;fp=src%2FBackend%2Fsattranslator.h;h=be5c8c0fdfd11082f6f1457b45f206573ef7722d;hb=72df0425fdbb8581b5ae2b17a8c1da9fbaf848ae;hp=ad204f39832c4eabe2e4e7b0a8838315969c6c89;hpb=510efd1d0ee344fb5bbf4fe8ac94940d7a806402;p=satune.git

diff --git a/src/Backend/sattranslator.h b/src/Backend/sattranslator.h
index ad204f3..be5c8c0 100644
--- 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);