#include "qsort.h"
#include "subgraph.h"
#include "elementencoding.h"
+#include "boolean.h"
EncodingGraph::EncodingGraph(CSolver * _solver) :
solver(_solver) {
switch(e->type) {
case ELEMSET:
case ELEMFUNCRETURN: {
- ElementEncoding *encoding=getElementEncoding(e);
+ ElementEncoding *encoding=e->getElementEncoding();
if (encoding->getElementEncodingType() == ELEM_UNASSIGNED) {
//Do assignment...
}