+ ElementSet(ASTNodeType type, Set *s);
+ virtual ~ElementSet() {}
+ ElementSet(Set *s);
+ virtual Element *clone(CSolver *solver, CloneMap *map);
+ virtual void serialize(Serializer *serializer);
+ virtual void print();
+ CMEMALLOC;
+ Set *getRange() {return set;}
+protected: