Clean up merge heuristic to do what we said it did

[satune.git] / src / ASTAnalyses / Encoding / encodinggraph.h

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.h b/src/ASTAnalyses/Encoding/encodinggraph.h
index ab9cac6cc3621e5d1f340cac4e95305c807f390a..b53568ec6869a7a0cc4db98988ff779ca5221e57 100644 (file)
--- a/src/ASTAnalyses/Encoding/encodinggraph.h
+++ b/src/ASTAnalyses/Encoding/encodinggraph.h
@@ -4,12 +4,14 @@
 #include "structs.h"
 #include "graphstructs.h"
 
+
 class EncodingGraph {
 public:
        EncodingGraph(CSolver *solver);
        ~EncodingGraph();
        void buildGraph();
        void encode();
+       void validate();
 
        CMEMALLOC;
 private:
@@ -38,7 +40,9 @@ public:
        EncodingNode(Set *_s);
        void addElement(Element *e);
        uint getSize() const;
+       uint64_t getIndex(uint index);
        VarType getType() const;
+       double measureSimilarity(EncodingNode *node);
        void setEncoding(ElementEncodingType e) {encoding = e;}
        ElementEncodingType getEncoding() {return encoding;}
        bool couldBeBinaryIndex() {return encoding == BINARYINDEX || encoding == ELEM_UNASSIGNED;}