- serializer->mywrite(&This, sizeof(ElementSet*));
- serializer->mywrite(&set, sizeof(Set*));
+ serializer->mywrite(&This, sizeof(ElementSet *));
+ serializer->mywrite(&set, sizeof(Set *));
+}
+
+void ElementSet::print() {
+ model_print("{ElementSet:");
+ set->print();
+ model_print(" %p ", this);
+ getElementEncoding()->print();
+ model_print("}");