Small edit
[satune.git] / src / ASTAnalyses / ordernode.h
1
2 /*
3  * File:   ordernode.h
4  * Author: hamed
5  *
6  * Created on August 7, 2017, 3:43 PM
7  */
8
9 #ifndef ORDERNODE_H
10 #define ORDERNODE_H
11
12 #include "classlist.h"
13 #include "mymemory.h"
14 #include "structs.h"
15 #include "orderedge.h"
16
17 enum NodeStatus {NOTVISITED, VISITED, FINISHED, SATC_ADDEDTOSET};
18 typedef enum NodeStatus NodeStatus;
19
20 class OrderNode {
21 public:
22         OrderNode(uint64_t id);
23         void addNewIncomingEdge(OrderEdge *edge);
24         void addNewOutgoingEdge(OrderEdge *edge);
25
26         uint64_t id;
27         NodeStatus status;
28         uint sccNum;
29         HashsetOrderEdge inEdges;
30         HashsetOrderEdge outEdges;
31         CMEMALLOC;
32 };
33 #endif/* ORDERNODE_H */
34