1 #include "nit.common.h"
2 #define COLOR_poset__POSet___elements 0
3 extern const char FILE_poset
[];
4 #define COLOR_standard__hash_collection__HashMap___keys 7
5 extern const char FILE_standard__hash_collection
[];
6 #define COLOR_standard__abstract_collection__Collection__iterator 37
7 #define COLOR_poset__POSet___35dE 1
8 #define COLOR_standard__abstract_collection__Collection__has 40
9 val
* standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(val
* self
, val
* p0
);
10 val
* NEW_poset__POSetElement(const struct type
* type
);
11 #define COLOR_poset__POSetElement__poset__POSet___35dE 2
12 long standard___standard__HashMap___standard__abstract_collection__MapRead__length(val
* self
);
13 #define COLOR_poset__POSetElement__poset_61d 33
14 #define COLOR_poset__POSetElement__element_61d 35
15 #define COLOR_poset__POSetElement__count_61d 41
16 #define COLOR_standard__kernel__Object__init 7
17 #define COLOR_poset__POSetElement___tos 2
18 void standard___standard__HashSet___standard__abstract_collection__SimpleCollection__add(val
* self
, val
* p0
);
19 #define COLOR_poset__POSetElement___froms 3
20 void standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(val
* self
, val
* p0
, val
* p1
);
21 val
* poset___poset__POSet___add_node(val
* self
, val
* p0
);
22 short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val
* self
, val
* p0
);
23 val
* standard___standard__HashSet___standard__abstract_collection__Collection__iterator(val
* self
);
24 #define COLOR_standard__abstract_collection__Iterator__is_ok 34
25 #define COLOR_standard__abstract_collection__Iterator__item 32
26 #define COLOR_standard__abstract_collection__Iterator__next 33
27 #define COLOR_poset__POSetElement___dfroms 5
28 val
* standard__array___Collection___to_a(val
* self
);
29 val
* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val
* self
);
30 short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val
* self
);
31 val
* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val
* self
);
32 void standard___standard__HashSet___standard__abstract_collection__RemovableCollection__remove(val
* self
, val
* p0
);
33 #define COLOR_poset__POSetElement___dtos 4
34 void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val
* self
);
35 long standard___standard__HashSet___standard__abstract_collection__Collection__length(val
* self
);
36 long standard___standard__Int___Comparable___60d_61d_62d(long self
, long p0
);
37 #define COLOR_poset__POSetElement___count 6
38 #define COLOR_standard__Collection__poset__POSet___35dE 3
39 void standard___standard__Comparator___sort(val
* self
, val
* p0
);
40 #define COLOR_poset__POSetElement___poset 0
41 #define COLOR_poset__POSet__poset__POSetElement___35dE 1
42 #define COLOR_poset__POSetElement___element 1
43 #define COLOR_poset__POSetElement___35dE 2
44 #define COLOR_standard__kernel__Object___33d_61d 3
45 #define COLOR_poset___poset__POSetElement___standard__kernel__Object__init 48