X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTAnalyses%2FEncoding%2Fsubgraph.cc;h=50cc2d0da9678933f6400aea2f97b618ab593c66;hp=f75d7c8136f15211df833f0af3790f1c8a11dbf2;hb=7fe0a11814834cc8f5937d059602513eea746c9f;hpb=0c1d68d80bf0f95947d82e20120f68ddf54f4e89;ds=sidebyside

diff --git a/src/ASTAnalyses/Encoding/subgraph.cc b/src/ASTAnalyses/Encoding/subgraph.cc
index f75d7c8..50cc2d0 100644
--- a/src/ASTAnalyses/Encoding/subgraph.cc
+++ b/src/ASTAnalyses/Encoding/subgraph.cc
@@ -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;