1 #include "nit.common.h"
2 #define COLOR_poset__POSet___elements 0
3 extern const char FILE_poset
[];
4 val
* core___core__HashMap___core__abstract_collection__MapRead__keys(val
* self
);
5 #define COLOR_core__abstract_collection__Collection__iterator 24
6 #define COLOR_core__abstract_collection__Collection__has 27
7 #define COLOR_poset__POSet___35dE 2
8 val
* core___core__HashMap___core__abstract_collection__MapRead___91d_93d(val
* self
, val
* p0
);
9 val
* NEW_poset__POSetElement(const struct type
* type
);
10 #define COLOR_poset__POSetElement__poset__POSet___35dE 3
11 long core___core__HashMap___core__abstract_collection__MapRead__length(val
* self
);
12 #define COLOR_poset__POSetElement__poset_61d 14
13 #define COLOR_poset__POSetElement__element_61d 15
14 #define COLOR_poset__POSetElement__count_61d 16
15 #define COLOR_core__kernel__Object__init 0
16 #define COLOR_poset__POSetElement___tos 2
17 void core___core__HashSet___core__abstract_collection__SimpleCollection__add(val
* self
, val
* p0
);
18 #define COLOR_poset__POSetElement___froms 3
19 void core___core__HashMap___core__abstract_collection__Map___91d_93d_61d(val
* self
, val
* p0
, val
* p1
);
20 val
* poset___poset__POSet___add_node(val
* self
, val
* p0
);
21 short int core___core__HashSet___core__abstract_collection__Collection__has(val
* self
, val
* p0
);
22 val
* core___core__HashSet___core__abstract_collection__Collection__iterator(val
* self
);
23 #define COLOR_core__abstract_collection__Iterator__is_ok 12
24 #define COLOR_core__abstract_collection__Iterator__item 13
25 #define COLOR_core__abstract_collection__Iterator__next 14
26 #define COLOR_core__abstract_collection__Iterator__finish 15
27 #define COLOR_poset__POSetElement___dfroms 5
28 short int core___core__Array___core__kernel__Object___61d_61d(val
* self
, val
* p0
);
29 val
* NEW_core__Array(const struct type
* type
);
30 #define COLOR_core__Array__poset__POSet___35dE 4
31 void core___core__Array___core__kernel__Object__init(val
* self
);
32 void core___core__Array___core__abstract_collection__SimpleCollection__add(val
* self
, val
* p0
);
33 #define COLOR_poset__POSetElement___dtos 4
34 void core___core__HashSet___core__abstract_collection__RemovableCollection__remove(val
* self
, val
* p0
);
35 #define COLOR_core__kernel__Object___61d_61d 4
36 val
* core___core__AbstractArrayRead___core__abstract_collection__Collection__iterator(val
* self
);
37 void core___core__AbstractArray___core__abstract_collection__RemovableCollection__clear(val
* self
);
38 #define COLOR_core__sorter__Comparator__COMPARED 5
39 long core___core__HashSet___core__abstract_collection__Collection__length(val
* self
);
40 long core___core__Int___Comparable___60d_61d_62d(long self
, long p0
);
41 #define COLOR_poset__POSetElement___count 6
42 #define COLOR_core__Collection__poset__POSet___35dE 6
43 #define COLOR_core__array__Collection__to_a 21
44 void core___core__Comparator___sort(val
* self
, val
* p0
);
45 val
* poset___poset__POSet___sub(val
* self
, val
* p0
);
46 #define COLOR_core__kernel__Object__SELF 1
47 val
* NEW_poset__POSet(const struct type
* type
);
48 #define COLOR_poset__POSet__poset__POSet___35dE 7
49 val
* poset___poset__POSet___core__abstract_collection__Collection__iterator(val
* self
);
50 val
* poset___poset__POSet____91d_93d(val
* self
, val
* p0
);
51 val
* poset___poset__POSetElement___greaters(val
* self
);
52 void poset___poset__POSet___add_edge(val
* self
, val
* p0
, val
* p1
);
53 extern const struct type type_poset__POSet__nullable__core__Object
;
54 short int core___core__Collection___has_exactly(val
* self
, val
* p0
);
55 val
* core___core__HashMap___core__abstract_collection__MapRead__iterator(val
* self
);
56 #define COLOR_core__abstract_collection__MapIterator__is_ok 12
57 #define COLOR_core__abstract_collection__MapIterator__key 13
58 #define COLOR_core__abstract_collection__MapIterator__item 14
59 val
* poset___poset__POSetElement___direct_greaters(val
* self
);
60 #define COLOR_core__abstract_collection__MapIterator__next 15
61 long poset___poset__POSet___core__kernel__Object__hash(val
* self
);
62 #define COLOR_core__kernel__Object__hash 8
63 extern const struct type type_core__Int
;
64 extern const char FILE_core__kernel
[];
65 #define COLOR_core__abstract_collection__Collection__length 22
66 #define COLOR_poset__POSetElement___poset 0
67 #define COLOR_poset__POSet__poset__POSetElement___35dE 1
68 #define COLOR_poset__POSetElement___element 1
69 #define COLOR_poset__POSetElement___35dE 2
70 #define COLOR_core__kernel__Object___33d_61d 1
71 #define COLOR_poset___poset__POSetElement___core__kernel__Object__init 28