1 #include "encodinggraph.h"
5 EncodingGraph::EncodingGraph(CSolver * _solver) :
11 EncodingNode * EncodingGraph::getNode(Element * element) {
15 void EncodingGraph::buildGraph() {
16 ElementIterator it(solver);
18 Element * e = it.next();
23 void EncodingGraph::processElement(Element *e) {
28 case ELEMFUNCRETURN: {