- ElementConst(uint64_t value, VarType type, Set *_set);
- Set *set;
- uint64_t value;
- Element *clone(CSolver *solver, CloneMap *map);
+ 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();