struct ElementEncoding {
ElementEncodingType type;
Element * element;
- Boolean ** variables; /* List Variables Use To Encode Element */
+ Constraint ** variables; /* List Variables Used To Encode Element */
uint64_t * encodingArray; /* List the Variables in the appropriate order */
uint numVars; /* Number of variables */
};
ElementEncoding * allocElementEncoding(ElementEncodingType type, Element *element);
void deleteElementEncoding(ElementEncoding *This);
+void baseBinaryIndexElementAssign(ElementEncoding *This);
+
#endif