+ temp = constraint_undump (f);
+ ret = constraintList_add (ret, temp);
+ s = fgets (os, MAX_DUMP_LINE_LENGTH, f);
+ free(c);
+ }
+ free(s);
+
+ return ret;
+}
+
+
+void constraintList_dump (/*@observer@*/ constraintList c, FILE *f)
+{
+ constraintList_elements (c, el)
+ {
+ fprintf(f, "C\n");
+ constraint_dump (el, f);
+ }
+ end_constraintList_elements; ;
+}
+
+
+constraintList constraintList_sort (/*@returned@*/ constraintList ret)
+{
+ qsort (ret->elements, (size_t) ret->nelements,
+ (sizeof (*ret->elements) ), constraint_compare);
+ return ret;
+}