Edits

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

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index 17314e9e021d35e46107b74ad366b9538d6c20b5..346d735718baf487bd31c40b5962b335f0a1f4be 100644 (file)
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -4,6 +4,8 @@
 #include "naiveencoder.h"
 #include "constraint.h"
 
+typedef enum ElemEnc {EENC_UNKNOWN, EENC_NONE, EENC_BOTH} ElemEnc;
+
 class ElementEncoding {
 public:
        ElementEncoding(Element *element);
@@ -38,7 +40,10 @@ public:
                struct {
                        uint64_t *encodingArray;        /* List the Variables in the appropriate order */
                        uint64_t *inUseArray;   /* Bitmap to track variables in use */
+                       Edge * edgeArray;
+                       Polarity * polarityArray;
                        uint encArraySize;
+                       ElemEnc encoding;
                };
                struct {
                        uint64_t offset;/* Value = offset + encoded number (interpretted according to isBinaryValSigned) */