X-Git-Url: http://nitlanguage.org

diff --git a/c_src/poset.sep.0.h b/c_src/poset.sep.0.h
index 358ff87..3a2006e 100644
--- a/c_src/poset.sep.0.h
+++ b/c_src/poset.sep.0.h
@@ -1,51 +1,71 @@
 #include "nit.common.h"
 #define COLOR_poset__POSet___elements 0
-#define COLOR_hash_collection__HashMap___keys 7
-#define COLOR_abstract_collection__Collection__iterator 29
-val* poset__POSet__iterator(val* self);
-#define COLOR_abstract_collection__Collection_FT0 8
-#define COLOR_abstract_collection__Collection__has 32
-short int poset__POSet__has(val* self, val* p0);
-#define COLOR_poset__POSet_FT0 2
-val* hash_collection__HashMap___91d_93d(val* self, val* p0);
+extern const char FILE_poset[];
+val* core___core__HashMap___core__abstract_collection__MapRead__keys(val* self);
+#define COLOR_core__abstract_collection__Collection__iterator 24
+#define COLOR_core__abstract_collection__Collection__has 27
+#define COLOR_poset__POSet___35dE 2
+val* core___core__HashMap___core__abstract_collection__MapRead___91d_93d(val* self, val* p0);
 val* NEW_poset__POSetElement(const struct type* type);
-#define COLOR_poset__POSetElementposet__POSet_FT0 3
-long hash_collection__HashMap__length(val* self);
-#define COLOR_poset__POSetposet__POSetElement_FT0 1
-#define COLOR_poset__POSetElement_FT0 2
-#define COLOR_poset__POSetElement___poset 0
-#define COLOR_poset__POSetElement___element 1
-#define COLOR_poset__POSetElement___count 6
+#define COLOR_poset__POSetElement__poset__POSet___35dE 3
+long core___core__HashMap___core__abstract_collection__MapRead__length(val* self);
+#define COLOR_poset__POSetElement__poset_61d 14
+#define COLOR_poset__POSetElement__element_61d 15
+#define COLOR_poset__POSetElement__count_61d 16
+#define COLOR_core__kernel__Object__init 0
 #define COLOR_poset__POSetElement___tos 2
-void hash_collection__HashSet__add(val* self, val* p0);
+void core___core__HashSet___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
 #define COLOR_poset__POSetElement___froms 3
-void hash_collection__HashMap___91d_93d_61d(val* self, val* p0, val* p1);
-val* poset__POSet__add_node(val* self, val* p0);
-val* poset__POSet___91d_93d(val* self, val* p0);
-short int hash_collection__HashSet__has(val* self, val* p0);
-val* hash_collection__HashSet__iterator(val* self);
-#define COLOR_abstract_collection__Iterator__is_ok 31
-#define COLOR_abstract_collection__Iterator__item 29
-#define COLOR_abstract_collection__Iterator__next 30
+void core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
+val* poset___poset__POSet___add_node(val* self, val* p0);
+short int core___core__HashSet___core__abstract_collection__Collection__has(val* self, val* p0);
+val* core___core__HashSet___core__abstract_collection__Collection__iterator(val* self);
+#define COLOR_core__abstract_collection__Iterator__is_ok 12
+#define COLOR_core__abstract_collection__Iterator__item 13
+#define COLOR_core__abstract_collection__Iterator__next 14
+#define COLOR_core__abstract_collection__Iterator__finish 15
 #define COLOR_poset__POSetElement___dfroms 5
-val* array__Collection__to_a(val* self);
-val* array__AbstractArrayRead__iterator(val* self);
-short int array__ArrayIterator__is_ok(val* self);
-val* array__ArrayIterator__item(val* self);
-void hash_collection__HashSet__remove(val* self, val* p0);
+short int core___core__Array___core__kernel__Object___61d_61d(val* self, val* p0);
+val* NEW_core__Array(const struct type* type);
+#define COLOR_core__Array__poset__POSet___35dE 4
+void core___core__Array___core__kernel__Object__init(val* self);
+void core___core__Array___core__abstract_collection__SimpleCollection__add(val* self, val* p0);
 #define COLOR_poset__POSetElement___dtos 4
-void array__ArrayIterator__next(val* self);
-void poset__POSet__add_edge(val* self, val* p0, val* p1);
-long hash_collection__HashSet__length(val* self);
-long kernel__Int___60d_61d_62d(long self, long p0);
-long poset__POSet__compare(val* self, val* p0, val* p1);
-#define COLOR_abstract_collection__Collectionposet__POSet_FT0 4
-void sorter__Comparator__sort(val* self, val* p0);
-val* poset__POSet__linearize(val* self, val* p0);
-val* poset__POSetElement__greaters(val* self);
-val* poset__POSetElement__direct_greaters(val* self);
-val* poset__POSetElement__smallers(val* self);
-val* poset__POSetElement__direct_smallers(val* self);
-short int poset__POSetElement___60d_61d(val* self, val* p0);
-#define COLOR_kernel__Object___33d_61d 3
-short int poset__POSetElement___60d(val* self, val* p0);
+void core___core__HashSet___core__abstract_collection__RemovableCollection__remove(val* self, val* p0);
+#define COLOR_core__kernel__Object___61d_61d 4
+val* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val* self);
+void core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(val* self);
+#define COLOR_core__sorter__Comparator__COMPARED 5
+long core___core__HashSet___core__abstract_collection__Collection__length(val* self);
+long core___core__Int___Comparable___60d_61d_62d(long self, long p0);
+#define COLOR_poset__POSetElement___count 6
+#define COLOR_core__Collection__poset__POSet___35dE 6
+#define COLOR_core__array__Collection__to_a 21
+void core___core__Comparator___sort(val* self, val* p0);
+val* poset___poset__POSet___sub(val* self, val* p0);
+#define COLOR_core__kernel__Object__SELF 1
+val* NEW_poset__POSet(const struct type* type);
+#define COLOR_poset__POSet__poset__POSet___35dE 7
+val* poset___poset__POSet___core__abstract_collection__Collection__iterator(val* self);
+val* poset___poset__POSet____91d_93d(val* self, val* p0);
+val* poset___poset__POSetElement___greaters(val* self);
+void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
+extern const struct type type_poset__POSet__nullable__core__Object;
+short int core___core__Collection___has_exactly(val* self, val* p0);
+val* core___core__HashMap___core__abstract_collection__MapRead__iterator(val* self);
+#define COLOR_core__abstract_collection__MapIterator__is_ok 12
+#define COLOR_core__abstract_collection__MapIterator__key 13
+#define COLOR_core__abstract_collection__MapIterator__item 14
+val* poset___poset__POSetElement___direct_greaters(val* self);
+#define COLOR_core__abstract_collection__MapIterator__next 15
+long poset___poset__POSet___core__kernel__Object__hash(val* self);
+#define COLOR_core__kernel__Object__hash 8
+extern const struct type type_core__Int;
+extern const char FILE_core__kernel[];
+#define COLOR_core__abstract_collection__Collection__length 22
+#define COLOR_poset__POSetElement___poset 0
+#define COLOR_poset__POSet__poset__POSetElement___35dE 1
+#define COLOR_poset__POSetElement___element 1
+#define COLOR_poset__POSetElement___35dE 2
+#define COLOR_core__kernel__Object___33d_61d 1
+#define COLOR_poset___poset__POSetElement___core__kernel__Object__init 28