1 /* This C header file is generated by NIT to compile modules and programs that requires partial_order. */
2 #ifndef partial_order_3_sep
3 #define partial_order_3_sep
4 #include "standard._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_PartialOrder
[];
9 extern const classtable_elt_t VFT_PartialOrderElement
[];
10 #define LOCATE_partial_order "partial_order"
11 extern const int SFT_partial_order
[];
12 #define ID_PartialOrder SFT_partial_order[0]
13 #define COLOR_PartialOrder SFT_partial_order[1]
14 #define COLOR_partial_order___PartialOrder____elements SFT_partial_order[2]
15 #define COLOR_partial_order___PartialOrder____elements_list SFT_partial_order[3]
16 #define COLOR_partial_order___PartialOrder____roots SFT_partial_order[4]
17 #define INIT_TABLE_POS_PartialOrder SFT_partial_order[5]
18 #define COLOR_partial_order___PartialOrder___roots SFT_partial_order[6]
19 #define COLOR_partial_order___PartialOrder_____bra SFT_partial_order[7]
20 #define COLOR_partial_order___PartialOrder___to_dot SFT_partial_order[8]
21 #define COLOR_partial_order___PartialOrder___to_dot_header SFT_partial_order[9]
22 #define COLOR_partial_order___PartialOrder___to_dot_node SFT_partial_order[10]
23 #define COLOR_partial_order___PartialOrder___to_dot_edge SFT_partial_order[11]
24 #define COLOR_partial_order___PartialOrder___select_smallests SFT_partial_order[12]
25 #define COLOR_partial_order___PartialOrder___add SFT_partial_order[13]
26 #define COLOR_partial_order___PartialOrder___has_all SFT_partial_order[14]
27 #define COLOR_partial_order___PartialOrder___new_poe SFT_partial_order[15]
28 #define COLOR_partial_order___PartialOrder___add_to_smallests SFT_partial_order[16]
29 #define COLOR_partial_order___PartialOrder___compute_smallers_for SFT_partial_order[17]
30 #define COLOR_partial_order___PartialOrder___init SFT_partial_order[18]
31 #define ID_PartialOrderElement SFT_partial_order[19]
32 #define COLOR_PartialOrderElement SFT_partial_order[20]
33 #define COLOR_partial_order___PartialOrderElement____order SFT_partial_order[21]
34 #define COLOR_partial_order___PartialOrderElement____value SFT_partial_order[22]
35 #define COLOR_partial_order___PartialOrderElement____rank SFT_partial_order[23]
36 #define COLOR_partial_order___PartialOrderElement____direct_greaters SFT_partial_order[24]
37 #define COLOR_partial_order___PartialOrderElement____direct_smallers SFT_partial_order[25]
38 #define COLOR_partial_order___PartialOrderElement____greaters SFT_partial_order[26]
39 #define COLOR_partial_order___PartialOrderElement____greaters_and_self_cache SFT_partial_order[27]
40 #define COLOR_partial_order___PartialOrderElement____smallers_last_length SFT_partial_order[28]
41 #define COLOR_partial_order___PartialOrderElement____smallers_cache SFT_partial_order[29]
42 #define COLOR_partial_order___PartialOrderElement____linear_extension_cache SFT_partial_order[30]
43 #define COLOR_partial_order___PartialOrderElement____reverse_linear_extension_cache SFT_partial_order[31]
44 #define INIT_TABLE_POS_PartialOrderElement SFT_partial_order[32]
45 #define COLOR_partial_order___PartialOrderElement___order SFT_partial_order[33]
46 #define COLOR_partial_order___PartialOrderElement___value SFT_partial_order[34]
47 #define COLOR_partial_order___PartialOrderElement___rank SFT_partial_order[35]
48 #define COLOR_partial_order___PartialOrderElement___direct_greaters SFT_partial_order[36]
49 #define COLOR_partial_order___PartialOrderElement___direct_smallers SFT_partial_order[37]
50 #define COLOR_partial_order___PartialOrderElement___greaters SFT_partial_order[38]
51 #define COLOR_partial_order___PartialOrderElement___greaters_and_self SFT_partial_order[39]
52 #define COLOR_partial_order___PartialOrderElement___smallers SFT_partial_order[40]
53 #define COLOR_partial_order___PartialOrderElement___linear_extension SFT_partial_order[41]
54 #define COLOR_partial_order___PartialOrderElement___reverse_linear_extension SFT_partial_order[42]
55 #define COLOR_partial_order___PartialOrderElement_____l SFT_partial_order[43]
56 #define COLOR_partial_order___PartialOrderElement_____leq SFT_partial_order[44]
57 #define COLOR_partial_order___PartialOrderElement_____g SFT_partial_order[45]
58 #define COLOR_partial_order___PartialOrderElement_____geq SFT_partial_order[46]
59 #define COLOR_partial_order___PartialOrderElement___register_direct_smallers SFT_partial_order[47]
60 #define COLOR_partial_order___PartialOrderElement___init SFT_partial_order[48]
61 #define ATTR_partial_order___PartialOrder____elements(recv) ATTR(recv, COLOR_partial_order___PartialOrder____elements)
62 #define ATTR_partial_order___PartialOrder____elements_list(recv) ATTR(recv, COLOR_partial_order___PartialOrder____elements_list)
63 #define ATTR_partial_order___PartialOrder____roots(recv) ATTR(recv, COLOR_partial_order___PartialOrder____roots)
64 typedef val_t (* partial_order___PartialOrder___roots_t
)(val_t self
);
65 val_t
partial_order___PartialOrder___roots(val_t self
);
66 #define LOCATE_partial_order___PartialOrder___roots "partial_order::PartialOrder::roots"
67 typedef val_t (* partial_order___PartialOrder___is_empty_t
)(val_t self
);
68 val_t
partial_order___PartialOrder___is_empty(val_t self
);
69 #define LOCATE_partial_order___PartialOrder___is_empty "partial_order::PartialOrder::(abstract_collection::Collection::is_empty)"
70 typedef val_t (* partial_order___PartialOrder___length_t
)(val_t self
);
71 val_t
partial_order___PartialOrder___length(val_t self
);
72 #define LOCATE_partial_order___PartialOrder___length "partial_order::PartialOrder::(abstract_collection::Collection::length)"
73 typedef val_t (* partial_order___PartialOrder___first_t
)(val_t self
);
74 val_t
partial_order___PartialOrder___first(val_t self
);
75 #define LOCATE_partial_order___PartialOrder___first "partial_order::PartialOrder::(abstract_collection::Collection::first)"
76 typedef val_t (* partial_order___PartialOrder___has_t
)(val_t self
, val_t param0
);
77 val_t
partial_order___PartialOrder___has(val_t self
, val_t param0
);
78 #define LOCATE_partial_order___PartialOrder___has "partial_order::PartialOrder::(abstract_collection::Collection::has)"
79 typedef val_t (* partial_order___PartialOrder___has_only_t
)(val_t self
, val_t param0
);
80 val_t
partial_order___PartialOrder___has_only(val_t self
, val_t param0
);
81 #define LOCATE_partial_order___PartialOrder___has_only "partial_order::PartialOrder::(abstract_collection::Collection::has_only)"
82 typedef val_t (* partial_order___PartialOrder___count_t
)(val_t self
, val_t param0
);
83 val_t
partial_order___PartialOrder___count(val_t self
, val_t param0
);
84 #define LOCATE_partial_order___PartialOrder___count "partial_order::PartialOrder::(abstract_collection::Collection::count)"
85 typedef val_t (* partial_order___PartialOrder___iterator_t
)(val_t self
);
86 val_t
partial_order___PartialOrder___iterator(val_t self
);
87 #define LOCATE_partial_order___PartialOrder___iterator "partial_order::PartialOrder::(abstract_collection::Collection::iterator)"
88 typedef val_t (* partial_order___PartialOrder_____bra_t
)(val_t self
, val_t param0
);
89 val_t
partial_order___PartialOrder_____bra(val_t self
, val_t param0
);
90 #define LOCATE_partial_order___PartialOrder_____bra "partial_order::PartialOrder::[]"
91 typedef val_t (* partial_order___PartialOrder___to_dot_t
)(val_t self
);
92 val_t
partial_order___PartialOrder___to_dot(val_t self
);
93 #define LOCATE_partial_order___PartialOrder___to_dot "partial_order::PartialOrder::to_dot"
94 typedef val_t (* partial_order___PartialOrder___to_dot_header_t
)(val_t self
);
95 val_t
partial_order___PartialOrder___to_dot_header(val_t self
);
96 #define LOCATE_partial_order___PartialOrder___to_dot_header "partial_order::PartialOrder::to_dot_header"
97 typedef val_t (* partial_order___PartialOrder___to_dot_node_t
)(val_t self
, val_t param0
);
98 val_t
partial_order___PartialOrder___to_dot_node(val_t self
, val_t param0
);
99 #define LOCATE_partial_order___PartialOrder___to_dot_node "partial_order::PartialOrder::to_dot_node"
100 typedef val_t (* partial_order___PartialOrder___to_dot_edge_t
)(val_t self
, val_t param0
, val_t param1
);
101 val_t
partial_order___PartialOrder___to_dot_edge(val_t self
, val_t param0
, val_t param1
);
102 #define LOCATE_partial_order___PartialOrder___to_dot_edge "partial_order::PartialOrder::to_dot_edge"
103 typedef val_t (* partial_order___PartialOrder___select_smallests_t
)(val_t self
, val_t param0
);
104 val_t
partial_order___PartialOrder___select_smallests(val_t self
, val_t param0
);
105 #define LOCATE_partial_order___PartialOrder___select_smallests "partial_order::PartialOrder::select_smallests"
106 typedef val_t (* partial_order___PartialOrder___add_t
)(val_t self
, val_t param0
, val_t param1
);
107 val_t
partial_order___PartialOrder___add(val_t self
, val_t param0
, val_t param1
);
108 #define LOCATE_partial_order___PartialOrder___add "partial_order::PartialOrder::add"
109 typedef val_t (* partial_order___PartialOrder___has_all_t
)(val_t self
, val_t param0
);
110 val_t
partial_order___PartialOrder___has_all(val_t self
, val_t param0
);
111 #define LOCATE_partial_order___PartialOrder___has_all "partial_order::PartialOrder::has_all"
112 typedef val_t (* partial_order___PartialOrder___new_poe_t
)(val_t self
, val_t param0
, val_t param1
);
113 val_t
partial_order___PartialOrder___new_poe(val_t self
, val_t param0
, val_t param1
);
114 #define LOCATE_partial_order___PartialOrder___new_poe "partial_order::PartialOrder::new_poe"
115 typedef val_t (* partial_order___PartialOrder___add_to_smallests_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
);
116 val_t
partial_order___PartialOrder___add_to_smallests(val_t self
, val_t param0
, val_t param1
, val_t param2
);
117 #define LOCATE_partial_order___PartialOrder___add_to_smallests "partial_order::PartialOrder::add_to_smallests"
118 typedef void (* partial_order___PartialOrder___compute_smallers_for_t
)(val_t self
, val_t param0
, val_t param1
);
119 void partial_order___PartialOrder___compute_smallers_for(val_t self
, val_t param0
, val_t param1
);
120 #define LOCATE_partial_order___PartialOrder___compute_smallers_for "partial_order::PartialOrder::compute_smallers_for"
121 typedef void (* partial_order___PartialOrder___init_t
)(val_t self
, int* init_table
);
122 void partial_order___PartialOrder___init(val_t self
, int* init_table
);
123 val_t
NEW_partial_order___PartialOrder___init();
124 #define LOCATE_partial_order___PartialOrder___init "partial_order::PartialOrder::init"
125 #define ATTR_partial_order___PartialOrderElement____order(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____order)
126 typedef val_t (* partial_order___PartialOrderElement___order_t
)(val_t self
);
127 val_t
partial_order___PartialOrderElement___order(val_t self
);
128 #define LOCATE_partial_order___PartialOrderElement___order "partial_order::PartialOrderElement::order"
129 #define ATTR_partial_order___PartialOrderElement____value(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____value)
130 typedef val_t (* partial_order___PartialOrderElement___value_t
)(val_t self
);
131 val_t
partial_order___PartialOrderElement___value(val_t self
);
132 #define LOCATE_partial_order___PartialOrderElement___value "partial_order::PartialOrderElement::value"
133 #define ATTR_partial_order___PartialOrderElement____rank(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____rank)
134 typedef val_t (* partial_order___PartialOrderElement___rank_t
)(val_t self
);
135 val_t
partial_order___PartialOrderElement___rank(val_t self
);
136 #define LOCATE_partial_order___PartialOrderElement___rank "partial_order::PartialOrderElement::rank"
137 #define ATTR_partial_order___PartialOrderElement____direct_greaters(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____direct_greaters)
138 typedef val_t (* partial_order___PartialOrderElement___direct_greaters_t
)(val_t self
);
139 val_t
partial_order___PartialOrderElement___direct_greaters(val_t self
);
140 #define LOCATE_partial_order___PartialOrderElement___direct_greaters "partial_order::PartialOrderElement::direct_greaters"
141 #define ATTR_partial_order___PartialOrderElement____direct_smallers(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____direct_smallers)
142 typedef val_t (* partial_order___PartialOrderElement___direct_smallers_t
)(val_t self
);
143 val_t
partial_order___PartialOrderElement___direct_smallers(val_t self
);
144 #define LOCATE_partial_order___PartialOrderElement___direct_smallers "partial_order::PartialOrderElement::direct_smallers"
145 #define ATTR_partial_order___PartialOrderElement____greaters(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____greaters)
146 typedef val_t (* partial_order___PartialOrderElement___greaters_t
)(val_t self
);
147 val_t
partial_order___PartialOrderElement___greaters(val_t self
);
148 #define LOCATE_partial_order___PartialOrderElement___greaters "partial_order::PartialOrderElement::greaters"
149 #define ATTR_partial_order___PartialOrderElement____greaters_and_self_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____greaters_and_self_cache)
150 typedef val_t (* partial_order___PartialOrderElement___greaters_and_self_t
)(val_t self
);
151 val_t
partial_order___PartialOrderElement___greaters_and_self(val_t self
);
152 #define LOCATE_partial_order___PartialOrderElement___greaters_and_self "partial_order::PartialOrderElement::greaters_and_self"
153 #define ATTR_partial_order___PartialOrderElement____smallers_last_length(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____smallers_last_length)
154 #define ATTR_partial_order___PartialOrderElement____smallers_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____smallers_cache)
155 typedef val_t (* partial_order___PartialOrderElement___smallers_t
)(val_t self
);
156 val_t
partial_order___PartialOrderElement___smallers(val_t self
);
157 #define LOCATE_partial_order___PartialOrderElement___smallers "partial_order::PartialOrderElement::smallers"
158 #define ATTR_partial_order___PartialOrderElement____linear_extension_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____linear_extension_cache)
159 typedef val_t (* partial_order___PartialOrderElement___linear_extension_t
)(val_t self
);
160 val_t
partial_order___PartialOrderElement___linear_extension(val_t self
);
161 #define LOCATE_partial_order___PartialOrderElement___linear_extension "partial_order::PartialOrderElement::linear_extension"
162 #define ATTR_partial_order___PartialOrderElement____reverse_linear_extension_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____reverse_linear_extension_cache)
163 typedef val_t (* partial_order___PartialOrderElement___reverse_linear_extension_t
)(val_t self
);
164 val_t
partial_order___PartialOrderElement___reverse_linear_extension(val_t self
);
165 #define LOCATE_partial_order___PartialOrderElement___reverse_linear_extension "partial_order::PartialOrderElement::reverse_linear_extension"
166 typedef val_t (* partial_order___PartialOrderElement_____l_t
)(val_t self
, val_t param0
);
167 val_t
partial_order___PartialOrderElement_____l(val_t self
, val_t param0
);
168 #define LOCATE_partial_order___PartialOrderElement_____l "partial_order::PartialOrderElement::<"
169 typedef val_t (* partial_order___PartialOrderElement_____leq_t
)(val_t self
, val_t param0
);
170 val_t
partial_order___PartialOrderElement_____leq(val_t self
, val_t param0
);
171 #define LOCATE_partial_order___PartialOrderElement_____leq "partial_order::PartialOrderElement::<="
172 typedef val_t (* partial_order___PartialOrderElement_____g_t
)(val_t self
, val_t param0
);
173 val_t
partial_order___PartialOrderElement_____g(val_t self
, val_t param0
);
174 #define LOCATE_partial_order___PartialOrderElement_____g "partial_order::PartialOrderElement::>"
175 typedef val_t (* partial_order___PartialOrderElement_____geq_t
)(val_t self
, val_t param0
);
176 val_t
partial_order___PartialOrderElement_____geq(val_t self
, val_t param0
);
177 #define LOCATE_partial_order___PartialOrderElement_____geq "partial_order::PartialOrderElement::>="
178 typedef void (* partial_order___PartialOrderElement___register_direct_smallers_t
)(val_t self
, val_t param0
);
179 void partial_order___PartialOrderElement___register_direct_smallers(val_t self
, val_t param0
);
180 #define LOCATE_partial_order___PartialOrderElement___register_direct_smallers "partial_order::PartialOrderElement::register_direct_smallers"
181 typedef void (* partial_order___PartialOrderElement___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
182 void partial_order___PartialOrderElement___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
183 val_t
NEW_partial_order___PartialOrderElement___init(val_t param0
, val_t param1
, val_t param2
);
184 #define LOCATE_partial_order___PartialOrderElement___init "partial_order::PartialOrderElement::init"
nitlanguage / nit.git / blob