1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver...

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

diff --git a/src/ASTAnalyses/Encoding/subgraph.h b/src/ASTAnalyses/Encoding/subgraph.h
index 9327b977ea0581917f2aef8eae919c37c32debb5..1392dba72b70ee98df814d55102c73eecce9eab2 100644 (file)
--- a/src/ASTAnalyses/Encoding/subgraph.h
+++ b/src/ASTAnalyses/Encoding/subgraph.h
@@ -45,7 +45,8 @@ public:
        void encode();
        uint getEncoding(EncodingNode *n, uint64_t val);
        uint getEncodingMaxVal(EncodingNode *n) { return maxEncodingVal;}
-
+        double measureSimilarity(EncodingNode *n);
+        double measureSimilarity(EncodingSubGraph *sg);
        CMEMALLOC;
 private:
        uint estimateNewSize(EncodingNode *n);