Fix tabbing

[satune.git] / src / Encoders / elementencoding.h

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index d6de95ac0a6d43ff7b7fd871c47ed33e1590ce41..bc173eaaaeb44d3b22e2b424d91f741bcad44a87 100644 (file)
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -11,13 +11,23 @@ typedef enum ElementEncodingType ElementEncodingType;
 struct ElementEncoding {
        ElementEncodingType type;
        Element * element;
-       Constraint ** variables; /* List Variables Used To Encode Element */
-       uint64_t * encodingArray; /* List the Variables in the appropriate order */
-       uint numVars; /* Number of variables */
+       Constraint ** variables;/* List Variables Used To Encode Element */
+       uint64_t * encodingArray;       /* List the Variables in the appropriate order */
+       uint64_t * inUseArray;/* Bitmap to track variables in use */
+       uint numVars;   /* Number of variables */
 };
 
 ElementEncoding * allocElementEncoding(ElementEncodingType type, Element *element);
 void deleteElementEncoding(ElementEncoding *This);
 void baseBinaryIndexElementAssign(ElementEncoding *This);
+void allocEncodingArrayElement(ElementEncoding *This, uint size);
+void allocInUseArrayElement(ElementEncoding *This, uint size);
 
+inline bool isinUseElement(ElementEncoding *This, uint offset) {
+       return (This->inUseArray[(offset>>6)] >> (offset & 63)) &0x1;
+}
+
+inline void setInUseElement(ElementEncoding *This, uint offset) {
+       This->inUseArray[(offset>>6)] |= 1 << (offset & 63);
+}
 #endif