edits
[satune.git] / src / ASTAnalyses / Encoding / subgraph.cc
index f75d7c8136f15211df833f0af3790f1c8a11dbf2..50cc2d0da9678933f6400aea2f97b618ab593c66 100644 (file)
@@ -30,6 +30,12 @@ int sortEncodingValue(const void *p1, const void *p2) {
                return 1;
 }
 
+uint EncodingSubGraph::getEncoding(EncodingNode *n, uint64_t val) {
+       NodeValuePair nvp(n, val);
+       EncodingValue *ev = map.get(&nvp);
+       return ev->encoding;
+}
+
 void EncodingSubGraph::solveEquals() {
        Vector<EncodingValue *> toEncode;
        Vector<bool> encodingArray;