1 #include "nit.common.h"
2 #define COLOR_nit__coloring__POSetConflictGraph___core 0
3 extern const char FILE_nit__coloring
[];
4 #define COLOR_nit__coloring__POSetConflictGraph___border 1
5 #define COLOR_nit__coloring__POSetConflictGraph___crown 2
6 #define COLOR_nit__coloring__POSetConflictGraph___conflicts 3
7 #define COLOR_nit__coloring__POSetConflictGraph___poset 4
8 #define COLOR_poset__POSet__nit__POSetConflictGraph___35dE 2
9 void nit___nit__POSetConflictGraph___extract_core(val
* self
);
10 void nit___nit__POSetConflictGraph___extract_border(val
* self
);
11 void nit___nit__POSetConflictGraph___extract_crown(val
* self
);
12 void nit___nit__POSetConflictGraph___compute_conflicts(val
* self
);
13 void standard___standard__HashSet___standard__abstract_collection__RemovableCollection__clear(val
* self
);
14 val
* poset___poset__POSet___standard__abstract_collection__Collection__iterator(val
* self
);
15 #define COLOR_standard__abstract_collection__Iterator__is_ok 34
16 #define COLOR_standard__abstract_collection__Iterator__item 32
17 val
* poset___poset__POSet____91d_93d(val
* self
, val
* p0
);
18 val
* poset___poset__POSetElement___direct_greaters(val
* self
);
19 #define COLOR_standard__abstract_collection__Collection__length 39
20 extern const struct type type_standard__Int
;
21 extern const char FILE_standard__kernel
[];
22 val
* poset___poset__POSetElement___greaters(val
* self
);
23 void standard___standard__SimpleCollection___add_all(val
* self
, val
* p0
);
24 #define COLOR_standard__abstract_collection__Iterator__next 33
25 val
* standard___standard__HashSet___standard__abstract_collection__Collection__iterator(val
* self
);
26 short int nit___nit__POSetConflictGraph___is_border(val
* self
, val
* p0
);
27 void standard___standard__HashSet___standard__abstract_collection__SimpleCollection__add(val
* self
, val
* p0
);
28 void standard___standard__HashSet___standard__abstract_collection__RemovableCollection__remove(val
* self
, val
* p0
);
29 #define COLOR_nit__POSetConflictGraph___35dE 3
30 val
* poset___poset__POSetElement___direct_smallers(val
* self
);
31 #define COLOR_standard__abstract_collection__Collection__iterator 37
32 short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val
* self
, val
* p0
);
33 void standard___standard__HashMap___standard__abstract_collection__Map__clear(val
* self
);
34 void nit___nit__POSetConflictGraph___add_conflicts(val
* self
, val
* p0
);
35 short int standard___standard__MapRead___has_key(val
* self
, val
* p0
);
36 val
* NEW_standard__HashSet(const struct type
* type
);
37 #define COLOR_standard__HashSet__nit__POSetConflictGraph___35dE 0
38 void standard___standard__HashSet___standard__kernel__Object__init(val
* self
);
39 void standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(val
* self
, val
* p0
, val
* p1
);
40 val
* standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(val
* self
, val
* p0
);
41 #define COLOR_standard__abstract_collection__SimpleCollection__add 57
42 #define COLOR_standard__Collection__nit__POSetConflictGraph___35dE 4
43 void nit___nit__POSetConflictGraph___add_conflict(val
* self
, val
* p0
, val
* p1
);
44 #define COLOR_nit__coloring__POSetColorer___is_colored 0
45 #define COLOR_nit__coloring__POSetColorer___ids_cache 1
46 #define COLOR_nit__coloring__POSetColorer___colors_cache 2
47 #define COLOR_nit__coloring__POSetColorer___poset_cache 3
48 #define COLOR_poset__POSet__nit__POSetColorer___35dE 1
49 #define COLOR_nit__coloring__POSetColorer___conflicts_cache 4
50 #define COLOR_standard__Map__nit__POSetColorer___35dE__standard__Set__nit__POSetColorer___35dE 2
51 #define COLOR_nit__coloring__POSetColorer___graph 5
52 #define COLOR_nit__POSetConflictGraph__nit__POSetColorer___35dE 3
53 val
* NEW_nit__POSetConflictGraph(const struct type
* type
);
54 #define COLOR_nit__coloring__POSetConflictGraph__poset_61d 37
55 #define COLOR_standard__kernel__Object__init 7
56 void nit___nit__POSetColorer___allocate_ids(val
* self
);
57 void nit___nit__POSetColorer___compute_colors(val
* self
);
58 #define COLOR_standard__HashSet__nit__POSetColorer___35dE 4
59 val
* standard__array___Collection___to_a(val
* self
);
60 void standard___standard__HashSet___from(val
* self
, val
* p0
);
61 val
* poset___poset__POSet___linearize(val
* self
, val
* p0
);
62 val
* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val
* self
);
63 short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val
* self
);
64 val
* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val
* self
);
65 long standard___standard__HashMap___standard__abstract_collection__MapRead__length(val
* self
);
66 val
* BOX_standard__Int(long);
67 void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val
* self
);
68 void nit___nit__POSetColorer___colorize_core(val
* self
);
69 void nit___nit__POSetColorer___colorize_set(val
* self
, val
* p0
);
70 long nit___nit__POSetColorer___min_color(val
* self
, val
* p0
);
71 short int nit___nit__POSetColorer___is_color_free(val
* self
, long p0
, val
* p1
);
72 #define COLOR_standard__Set__nit__POSetColorer___35dE 5
73 #define COLOR_nit__POSetColorer___35dE 6
74 #define COLOR_standard__Collection__nit__POSetColorer___35dE 7
75 extern const struct class class_standard__Int
;
76 #define COLOR_nit__coloring__BucketsColorer___colors 0
77 #define COLOR_nit__coloring__BucketsColorer___conflicts 1
78 #define COLOR_standard__Map__nit__BucketsColorer___35dH__standard__Set__nit__BucketsColorer___35dE 2
79 void nit___nit__BucketsColorer___compute_conflicts(val
* self
, val
* p0
);
80 #define COLOR_standard__abstract_collection__MapRead__iterator 35
81 #define COLOR_standard__abstract_collection__MapIterator__is_ok 35
82 #define COLOR_standard__abstract_collection__MapIterator__key 33
83 #define COLOR_standard__abstract_collection__MapIterator__item 32
84 short int nit___nit__BucketsColorer___is_color_free(val
* self
, val
* p0
, long p1
);
85 #define COLOR_standard__abstract_collection__MapIterator__next 34
86 #define COLOR_nit__BucketsColorer___35dE 3
87 #define COLOR_standard__HashSet__nit__BucketsColorer___35dE 4
88 #define COLOR_standard__kernel__Object___61d_61d 2
89 #define COLOR_nit__coloring__POSetBucketsColorer___colors 0
90 #define COLOR_nit__coloring__POSetBucketsColorer___poset 1
91 #define COLOR_poset__POSet__nit__POSetBucketsColorer___35dH 1
92 #define COLOR_nit__coloring__POSetBucketsColorer___conflicts 2
93 #define COLOR_standard__Map__nit__POSetBucketsColorer___35dH__standard__Set__nit__POSetBucketsColorer___35dH 2
94 #define COLOR_standard__Map__nit__POSetBucketsColorer___35dH__standard__Set__nit__POSetBucketsColorer___35dE 3
95 #define COLOR_standard__abstract_collection__MapRead__keys 37
96 long nit___nit__POSetBucketsColorer___min_color(val
* self
, val
* p0
, val
* p1
);
97 #define COLOR_standard__abstract_collection__MapRead___91d_93d 32
98 short int nit___nit__POSetBucketsColorer___is_color_free(val
* self
, long p0
, val
* p1
, val
* p2
);
99 #define COLOR_standard__Collection__nit__POSetBucketsColorer___35dH 4
100 long nit___nit__POSetBucketsColorer___max_color(val
* self
, val
* p0
, val
* p1
);
101 #define COLOR_nit__POSetBucketsColorer___35dH 5
102 #define COLOR_nit___nit__POSetBucketsColorer___standard__kernel__Object__init 41