Fixing polarity path bug ....

[satune.git] / src / ASTAnalyses / ordernode.cc

diff --git a/src/ASTAnalyses/ordernode.cc b/src/ASTAnalyses/ordernode.cc
index c0bd096bb9b03072d3095dd2070ee302f0a9c347..02f314694d31039468b7e31e60f3f10d33cb3c88 100644 (file)
--- a/src/ASTAnalyses/ordernode.cc
+++ b/src/ASTAnalyses/ordernode.cc
@@ -1,28 +1,18 @@
 #include "ordernode.h"
 #include "orderedge.h"
 
-OrderNode *allocOrderNode(uint64_t id) {
-       OrderNode *This = (OrderNode *) ourmalloc(sizeof(OrderNode));
-       This->id = id;
-       This->inEdges = allocHashSetOrderEdge(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
-       This->outEdges = allocHashSetOrderEdge(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
-       This->status = NOTVISITED;
-       This->sccNum = 0;
-       return This;
+OrderNode::OrderNode(uint64_t _id) :
+       id(_id),
+       status(NOTVISITED),
+       sccNum(0),
+       inEdges(),
+       outEdges() {
 }
 
-void addNewIncomingEdge(OrderNode *node, OrderEdge *edge) {
-       ASSERT(!containsHashSetOrderEdge(node->inEdges, edge)); // Only for testing ... Should be removed after testing
-       addHashSetOrderEdge(node->inEdges, edge);
+void OrderNode::addNewIncomingEdge(OrderEdge *edge) {
+       inEdges.add(edge);
 }
 
-void addNewOutgoingEdge(OrderNode *node, OrderEdge *edge) {
-       ASSERT(!containsHashSetOrderEdge(node->outEdges, edge));
-       addHashSetOrderEdge(node->outEdges, edge);
-}
-
-void deleteOrderNode(OrderNode *node) {
-       deleteHashSetOrderEdge(node->inEdges);
-       deleteHashSetOrderEdge(node->outEdges);
-       ourfree(node);
+void OrderNode::addNewOutgoingEdge(OrderEdge *edge) {
+       outEdges.add(edge);
 }