edits
[satune.git] / src / ASTAnalyses / Encoding / encodinggraph.cc
1 #include "encodinggraph.h"
2 #include "iterator.h"
3 #include "element.h"
4
5 EncodingGraph::EncodingGraph(CSolver * _solver) :
6         solver(_solver) {
7         
8
9 }
10
11 EncodingNode * EncodingGraph::getNode(Element * element) {
12         return NULL;
13 }
14
15 void EncodingGraph::buildGraph() {
16         ElementIterator it(solver);
17         while(it.hasNext()) {
18                 Element * e = it.next();
19                 processElement(e);
20         }
21 }
22
23 void EncodingGraph::processElement(Element *e) {
24         switch(e->type) {
25         case ELEMSET: {
26                 break;
27         }
28         case ELEMFUNCRETURN: {
29                 break;
30         }
31         case ELEMCONST: {
32                 break;
33         }
34         default:
35                 ASSERT(0);
36         }
37 }