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 }