From: bdemsky <bdemsky@uci.edu>
Date: Sat, 9 Sep 2017 07:08:53 +0000 (-0700)
Subject: More code towards graph
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=845b9a98398da56adaa177d73ce7f5a3cfcd1081

More code towards graph
---

diff --git a/src/ASTAnalyses/Encoding/encodinggraph.cc b/src/ASTAnalyses/Encoding/encodinggraph.cc
index 070f639..a329e6b 100644
--- a/src/ASTAnalyses/Encoding/encodinggraph.cc
+++ b/src/ASTAnalyses/Encoding/encodinggraph.cc
@@ -54,6 +54,7 @@ void EncodingGraph::processFunction(ElementFunction *ef) {
 			return;
 		EncodingNode *dst=createNode(ef);
 		EncodingEdge *edge=getEdge(left, right, dst);
+		edge->numArithOps++;
 	}
 }
 
@@ -68,7 +69,6 @@ EncodingEdge * EncodingGraph::getEdge(EncodingNode *left, EncodingNode *right, E
 }
 
 void EncodingGraph::processPredicate(BooleanPredicate *b) {
-
 }
 
 EncodingNode::EncodingNode(Set *_s) :
diff --git a/src/ASTAnalyses/Encoding/encodinggraph.h b/src/ASTAnalyses/Encoding/encodinggraph.h
index a7ccace..12994da 100644
--- a/src/ASTAnalyses/Encoding/encodinggraph.h
+++ b/src/ASTAnalyses/Encoding/encodinggraph.h
@@ -52,5 +52,6 @@ class EncodingEdge {
 	uint numComparisons;
 	friend uint hashEncodingEdge(EncodingEdge *edge);
 	friend bool equalsEncodingEdge(EncodingEdge *e1, EncodingEdge *e2);
+	fiend class EncodingGraph;
 };
 #endif