1 #ifndef partial_order__sep
2 #define partial_order__sep
3 #include "standard._sep.h"
4 #include <nit_common.h>
6 extern const classtable_elt_t VFT_PartialOrder
[];
8 extern const classtable_elt_t VFT_PartialOrderElement
[];
9 extern const int SFT_partial_order
[];
10 #define ID_PartialOrder SFT_partial_order[0]
11 #define COLOR_PartialOrder SFT_partial_order[1]
12 #define COLOR_partial_order___PartialOrder____elements SFT_partial_order[2]
13 #define COLOR_partial_order___PartialOrder____elements_list SFT_partial_order[3]
14 #define COLOR_partial_order___PartialOrder____roots SFT_partial_order[4]
15 #define INIT_TABLE_POS_PartialOrder SFT_partial_order[5]
16 #define COLOR_partial_order___PartialOrder___roots SFT_partial_order[6]
17 #define COLOR_partial_order___PartialOrder_____bra SFT_partial_order[7]
18 #define COLOR_partial_order___PartialOrder___to_dot SFT_partial_order[8]
19 #define COLOR_partial_order___PartialOrder___to_dot_header SFT_partial_order[9]
20 #define COLOR_partial_order___PartialOrder___to_dot_node SFT_partial_order[10]
21 #define COLOR_partial_order___PartialOrder___to_dot_edge SFT_partial_order[11]
22 #define COLOR_partial_order___PartialOrder___select_smallests SFT_partial_order[12]
23 #define COLOR_partial_order___PartialOrder___add SFT_partial_order[13]
24 #define COLOR_partial_order___PartialOrder___has_all SFT_partial_order[14]
25 #define COLOR_partial_order___PartialOrder___new_poe SFT_partial_order[15]
26 #define COLOR_partial_order___PartialOrder___add_to_smallests SFT_partial_order[16]
27 #define COLOR_partial_order___PartialOrder___compute_smallers_for SFT_partial_order[17]
28 #define COLOR_partial_order___PartialOrder___init SFT_partial_order[18]
29 #define ID_PartialOrderElement SFT_partial_order[19]
30 #define COLOR_PartialOrderElement SFT_partial_order[20]
31 #define COLOR_partial_order___PartialOrderElement____order SFT_partial_order[21]
32 #define COLOR_partial_order___PartialOrderElement____value SFT_partial_order[22]
33 #define COLOR_partial_order___PartialOrderElement____rank SFT_partial_order[23]
34 #define COLOR_partial_order___PartialOrderElement____direct_greaters SFT_partial_order[24]
35 #define COLOR_partial_order___PartialOrderElement____direct_smallers SFT_partial_order[25]
36 #define COLOR_partial_order___PartialOrderElement____greaters SFT_partial_order[26]
37 #define COLOR_partial_order___PartialOrderElement____greaters_and_self_cache SFT_partial_order[27]
38 #define COLOR_partial_order___PartialOrderElement____smallers_last_length SFT_partial_order[28]
39 #define COLOR_partial_order___PartialOrderElement____smallers_cache SFT_partial_order[29]
40 #define COLOR_partial_order___PartialOrderElement____linear_extension_cache SFT_partial_order[30]
41 #define COLOR_partial_order___PartialOrderElement____reverse_linear_extension_cache SFT_partial_order[31]
42 #define INIT_TABLE_POS_PartialOrderElement SFT_partial_order[32]
43 #define COLOR_partial_order___PartialOrderElement___order SFT_partial_order[33]
44 #define COLOR_partial_order___PartialOrderElement___value SFT_partial_order[34]
45 #define COLOR_partial_order___PartialOrderElement___rank SFT_partial_order[35]
46 #define COLOR_partial_order___PartialOrderElement___direct_greaters SFT_partial_order[36]
47 #define COLOR_partial_order___PartialOrderElement___direct_smallers SFT_partial_order[37]
48 #define COLOR_partial_order___PartialOrderElement___greaters SFT_partial_order[38]
49 #define COLOR_partial_order___PartialOrderElement___greaters_and_self SFT_partial_order[39]
50 #define COLOR_partial_order___PartialOrderElement___smallers SFT_partial_order[40]
51 #define COLOR_partial_order___PartialOrderElement___linear_extension SFT_partial_order[41]
52 #define COLOR_partial_order___PartialOrderElement___reverse_linear_extension SFT_partial_order[42]
53 #define COLOR_partial_order___PartialOrderElement_____l SFT_partial_order[43]
54 #define COLOR_partial_order___PartialOrderElement_____leq SFT_partial_order[44]
55 #define COLOR_partial_order___PartialOrderElement_____g SFT_partial_order[45]
56 #define COLOR_partial_order___PartialOrderElement_____geq SFT_partial_order[46]
57 #define COLOR_partial_order___PartialOrderElement___register_direct_smallers SFT_partial_order[47]
58 #define COLOR_partial_order___PartialOrderElement___init SFT_partial_order[48]
59 #define ATTR_partial_order___PartialOrder____elements(recv) ATTR(recv, COLOR_partial_order___PartialOrder____elements)
60 #define ATTR_partial_order___PartialOrder____elements_list(recv) ATTR(recv, COLOR_partial_order___PartialOrder____elements_list)
61 #define ATTR_partial_order___PartialOrder____roots(recv) ATTR(recv, COLOR_partial_order___PartialOrder____roots)
62 typedef val_t (* partial_order___PartialOrder___roots_t
)(val_t self
);
63 val_t
partial_order___PartialOrder___roots(val_t self
);
64 typedef val_t (* partial_order___PartialOrder___is_empty_t
)(val_t self
);
65 val_t
partial_order___PartialOrder___is_empty(val_t self
);
66 typedef val_t (* partial_order___PartialOrder___length_t
)(val_t self
);
67 val_t
partial_order___PartialOrder___length(val_t self
);
68 typedef val_t (* partial_order___PartialOrder___first_t
)(val_t self
);
69 val_t
partial_order___PartialOrder___first(val_t self
);
70 typedef val_t (* partial_order___PartialOrder___has_t
)(val_t self
, val_t param0
);
71 val_t
partial_order___PartialOrder___has(val_t self
, val_t param0
);
72 typedef val_t (* partial_order___PartialOrder___has_only_t
)(val_t self
, val_t param0
);
73 val_t
partial_order___PartialOrder___has_only(val_t self
, val_t param0
);
74 typedef val_t (* partial_order___PartialOrder___count_t
)(val_t self
, val_t param0
);
75 val_t
partial_order___PartialOrder___count(val_t self
, val_t param0
);
76 typedef val_t (* partial_order___PartialOrder___iterator_t
)(val_t self
);
77 val_t
partial_order___PartialOrder___iterator(val_t self
);
78 typedef val_t (* partial_order___PartialOrder_____bra_t
)(val_t self
, val_t param0
);
79 val_t
partial_order___PartialOrder_____bra(val_t self
, val_t param0
);
80 typedef val_t (* partial_order___PartialOrder___to_dot_t
)(val_t self
);
81 val_t
partial_order___PartialOrder___to_dot(val_t self
);
82 typedef val_t (* partial_order___PartialOrder___to_dot_header_t
)(val_t self
);
83 val_t
partial_order___PartialOrder___to_dot_header(val_t self
);
84 typedef val_t (* partial_order___PartialOrder___to_dot_node_t
)(val_t self
, val_t param0
);
85 val_t
partial_order___PartialOrder___to_dot_node(val_t self
, val_t param0
);
86 typedef val_t (* partial_order___PartialOrder___to_dot_edge_t
)(val_t self
, val_t param0
, val_t param1
);
87 val_t
partial_order___PartialOrder___to_dot_edge(val_t self
, val_t param0
, val_t param1
);
88 typedef val_t (* partial_order___PartialOrder___select_smallests_t
)(val_t self
, val_t param0
);
89 val_t
partial_order___PartialOrder___select_smallests(val_t self
, val_t param0
);
90 typedef val_t (* partial_order___PartialOrder___add_t
)(val_t self
, val_t param0
, val_t param1
);
91 val_t
partial_order___PartialOrder___add(val_t self
, val_t param0
, val_t param1
);
92 typedef val_t (* partial_order___PartialOrder___has_all_t
)(val_t self
, val_t param0
);
93 val_t
partial_order___PartialOrder___has_all(val_t self
, val_t param0
);
94 typedef val_t (* partial_order___PartialOrder___new_poe_t
)(val_t self
, val_t param0
, val_t param1
);
95 val_t
partial_order___PartialOrder___new_poe(val_t self
, val_t param0
, val_t param1
);
96 typedef val_t (* partial_order___PartialOrder___add_to_smallests_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
);
97 val_t
partial_order___PartialOrder___add_to_smallests(val_t self
, val_t param0
, val_t param1
, val_t param2
);
98 typedef void (* partial_order___PartialOrder___compute_smallers_for_t
)(val_t self
, val_t param0
, val_t param1
);
99 void partial_order___PartialOrder___compute_smallers_for(val_t self
, val_t param0
, val_t param1
);
100 typedef void (* partial_order___PartialOrder___init_t
)(val_t self
, int* init_table
);
101 void partial_order___PartialOrder___init(val_t self
, int* init_table
);
102 val_t
NEW_partial_order___PartialOrder___init();
103 #define ATTR_partial_order___PartialOrderElement____order(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____order)
104 typedef val_t (* partial_order___PartialOrderElement___order_t
)(val_t self
);
105 val_t
partial_order___PartialOrderElement___order(val_t self
);
106 #define ATTR_partial_order___PartialOrderElement____value(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____value)
107 typedef val_t (* partial_order___PartialOrderElement___value_t
)(val_t self
);
108 val_t
partial_order___PartialOrderElement___value(val_t self
);
109 #define ATTR_partial_order___PartialOrderElement____rank(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____rank)
110 typedef val_t (* partial_order___PartialOrderElement___rank_t
)(val_t self
);
111 val_t
partial_order___PartialOrderElement___rank(val_t self
);
112 #define ATTR_partial_order___PartialOrderElement____direct_greaters(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____direct_greaters)
113 typedef val_t (* partial_order___PartialOrderElement___direct_greaters_t
)(val_t self
);
114 val_t
partial_order___PartialOrderElement___direct_greaters(val_t self
);
115 #define ATTR_partial_order___PartialOrderElement____direct_smallers(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____direct_smallers)
116 typedef val_t (* partial_order___PartialOrderElement___direct_smallers_t
)(val_t self
);
117 val_t
partial_order___PartialOrderElement___direct_smallers(val_t self
);
118 #define ATTR_partial_order___PartialOrderElement____greaters(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____greaters)
119 typedef val_t (* partial_order___PartialOrderElement___greaters_t
)(val_t self
);
120 val_t
partial_order___PartialOrderElement___greaters(val_t self
);
121 #define ATTR_partial_order___PartialOrderElement____greaters_and_self_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____greaters_and_self_cache)
122 typedef val_t (* partial_order___PartialOrderElement___greaters_and_self_t
)(val_t self
);
123 val_t
partial_order___PartialOrderElement___greaters_and_self(val_t self
);
124 #define ATTR_partial_order___PartialOrderElement____smallers_last_length(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____smallers_last_length)
125 #define ATTR_partial_order___PartialOrderElement____smallers_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____smallers_cache)
126 typedef val_t (* partial_order___PartialOrderElement___smallers_t
)(val_t self
);
127 val_t
partial_order___PartialOrderElement___smallers(val_t self
);
128 #define ATTR_partial_order___PartialOrderElement____linear_extension_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____linear_extension_cache)
129 typedef val_t (* partial_order___PartialOrderElement___linear_extension_t
)(val_t self
);
130 val_t
partial_order___PartialOrderElement___linear_extension(val_t self
);
131 #define ATTR_partial_order___PartialOrderElement____reverse_linear_extension_cache(recv) ATTR(recv, COLOR_partial_order___PartialOrderElement____reverse_linear_extension_cache)
132 typedef val_t (* partial_order___PartialOrderElement___reverse_linear_extension_t
)(val_t self
);
133 val_t
partial_order___PartialOrderElement___reverse_linear_extension(val_t self
);
134 typedef val_t (* partial_order___PartialOrderElement_____l_t
)(val_t self
, val_t param0
);
135 val_t
partial_order___PartialOrderElement_____l(val_t self
, val_t param0
);
136 typedef val_t (* partial_order___PartialOrderElement_____leq_t
)(val_t self
, val_t param0
);
137 val_t
partial_order___PartialOrderElement_____leq(val_t self
, val_t param0
);
138 typedef val_t (* partial_order___PartialOrderElement_____g_t
)(val_t self
, val_t param0
);
139 val_t
partial_order___PartialOrderElement_____g(val_t self
, val_t param0
);
140 typedef val_t (* partial_order___PartialOrderElement_____geq_t
)(val_t self
, val_t param0
);
141 val_t
partial_order___PartialOrderElement_____geq(val_t self
, val_t param0
);
142 typedef void (* partial_order___PartialOrderElement___register_direct_smallers_t
)(val_t self
, val_t param0
);
143 void partial_order___PartialOrderElement___register_direct_smallers(val_t self
, val_t param0
);
144 typedef void (* partial_order___PartialOrderElement___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
145 void partial_order___PartialOrderElement___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
146 val_t
NEW_partial_order___PartialOrderElement___init(val_t param0
, val_t param1
, val_t param2
);
nitlanguage / nit.git / blob