struct ElementEncoding {
ElementEncodingType type;
Element * element;
- 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 */
+ 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);