void processFunction(ElementFunction *f);
void processPredicate(BooleanPredicate *b);
EncodingNode * createNode(Element *e);
+ EncodingNode * getNode(Element *e);
EncodingEdge * getEdge(EncodingNode *left, EncodingNode *right, EncodingNode *dst);
};
uint getSize() const;
VarType getType() const;
void setEncoding(ElementEncodingType e) {encoding=e;}
-
+ ElementEncodingType getEncoding() {return encoding;}
CMEMALLOC;
private:
Set *s;