1 /* This C header file is generated by NIT to compile modules and programs that requires partial_order. */
2 #ifndef partial_order_sep
3 #define partial_order_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 extern const char *LOCATE_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 ATTR_partial_order___PartialOrder____elements(recv) ATTR(recv, (SFT_partial_order[2] + 0))
15 #define ATTR_partial_order___PartialOrder____elements_list(recv) ATTR(recv, (SFT_partial_order[2] + 1))
16 #define ATTR_partial_order___PartialOrder____roots(recv) ATTR(recv, (SFT_partial_order[2] + 2))
17 #define INIT_TABLE_POS_PartialOrder (SFT_partial_order[3] + 0)
18 #define CALL_partial_order___PartialOrder___roots(recv) ((partial_order___PartialOrder___roots_t)CALL((recv), (SFT_partial_order[3] + 1)))
19 #define CALL_partial_order___PartialOrder_____bra(recv) ((partial_order___PartialOrder_____bra_t)CALL((recv), (SFT_partial_order[3] + 2)))
20 #define CALL_partial_order___PartialOrder___to_dot(recv) ((partial_order___PartialOrder___to_dot_t)CALL((recv), (SFT_partial_order[3] + 3)))
21 #define CALL_partial_order___PartialOrder___to_dot_header(recv) ((partial_order___PartialOrder___to_dot_header_t)CALL((recv), (SFT_partial_order[3] + 4)))
22 #define CALL_partial_order___PartialOrder___to_dot_node(recv) ((partial_order___PartialOrder___to_dot_node_t)CALL((recv), (SFT_partial_order[3] + 5)))
23 #define CALL_partial_order___PartialOrder___to_dot_edge(recv) ((partial_order___PartialOrder___to_dot_edge_t)CALL((recv), (SFT_partial_order[3] + 6)))
24 #define CALL_partial_order___PartialOrder___select_smallests(recv) ((partial_order___PartialOrder___select_smallests_t)CALL((recv), (SFT_partial_order[3] + 7)))
25 #define CALL_partial_order___PartialOrder___add(recv) ((partial_order___PartialOrder___add_t)CALL((recv), (SFT_partial_order[3] + 8)))
26 #define CALL_partial_order___PartialOrder___has_all(recv) ((partial_order___PartialOrder___has_all_t)CALL((recv), (SFT_partial_order[3] + 9)))
27 #define CALL_partial_order___PartialOrder___new_poe(recv) ((partial_order___PartialOrder___new_poe_t)CALL((recv), (SFT_partial_order[3] + 10)))
28 #define CALL_partial_order___PartialOrder___add_to_smallests(recv) ((partial_order___PartialOrder___add_to_smallests_t)CALL((recv), (SFT_partial_order[3] + 11)))
29 #define CALL_partial_order___PartialOrder___compute_smallers_for(recv) ((partial_order___PartialOrder___compute_smallers_for_t)CALL((recv), (SFT_partial_order[3] + 12)))
30 #define CALL_partial_order___PartialOrder___init(recv) ((partial_order___PartialOrder___init_t)CALL((recv), (SFT_partial_order[3] + 13)))
31 #define ID_PartialOrderElement (SFT_partial_order[4])
32 #define COLOR_PartialOrderElement (SFT_partial_order[5])
33 #define ATTR_partial_order___PartialOrderElement____order(recv) ATTR(recv, (SFT_partial_order[6] + 0))
34 #define ATTR_partial_order___PartialOrderElement____value(recv) ATTR(recv, (SFT_partial_order[6] + 1))
35 #define ATTR_partial_order___PartialOrderElement____rank(recv) ATTR(recv, (SFT_partial_order[6] + 2))
36 #define ATTR_partial_order___PartialOrderElement____direct_greaters(recv) ATTR(recv, (SFT_partial_order[6] + 3))
37 #define ATTR_partial_order___PartialOrderElement____direct_smallers(recv) ATTR(recv, (SFT_partial_order[6] + 4))
38 #define ATTR_partial_order___PartialOrderElement____greaters(recv) ATTR(recv, (SFT_partial_order[6] + 5))
39 #define ATTR_partial_order___PartialOrderElement____greaters_and_self_cache(recv) ATTR(recv, (SFT_partial_order[6] + 6))
40 #define ATTR_partial_order___PartialOrderElement____smallers_last_length(recv) ATTR(recv, (SFT_partial_order[6] + 7))
41 #define ATTR_partial_order___PartialOrderElement____smallers_cache(recv) ATTR(recv, (SFT_partial_order[6] + 8))
42 #define ATTR_partial_order___PartialOrderElement____linear_extension_cache(recv) ATTR(recv, (SFT_partial_order[6] + 9))
43 #define ATTR_partial_order___PartialOrderElement____reverse_linear_extension_cache(recv) ATTR(recv, (SFT_partial_order[6] + 10))
44 #define INIT_TABLE_POS_PartialOrderElement (SFT_partial_order[7] + 0)
45 #define CALL_partial_order___PartialOrderElement___order(recv) ((partial_order___PartialOrderElement___order_t)CALL((recv), (SFT_partial_order[7] + 1)))
46 #define CALL_partial_order___PartialOrderElement___value(recv) ((partial_order___PartialOrderElement___value_t)CALL((recv), (SFT_partial_order[7] + 2)))
47 #define CALL_partial_order___PartialOrderElement___rank(recv) ((partial_order___PartialOrderElement___rank_t)CALL((recv), (SFT_partial_order[7] + 3)))
48 #define CALL_partial_order___PartialOrderElement___direct_greaters(recv) ((partial_order___PartialOrderElement___direct_greaters_t)CALL((recv), (SFT_partial_order[7] + 4)))
49 #define CALL_partial_order___PartialOrderElement___direct_smallers(recv) ((partial_order___PartialOrderElement___direct_smallers_t)CALL((recv), (SFT_partial_order[7] + 5)))
50 #define CALL_partial_order___PartialOrderElement___greaters(recv) ((partial_order___PartialOrderElement___greaters_t)CALL((recv), (SFT_partial_order[7] + 6)))
51 #define CALL_partial_order___PartialOrderElement___greaters_and_self(recv) ((partial_order___PartialOrderElement___greaters_and_self_t)CALL((recv), (SFT_partial_order[7] + 7)))
52 #define CALL_partial_order___PartialOrderElement___smallers(recv) ((partial_order___PartialOrderElement___smallers_t)CALL((recv), (SFT_partial_order[7] + 8)))
53 #define CALL_partial_order___PartialOrderElement___linear_extension(recv) ((partial_order___PartialOrderElement___linear_extension_t)CALL((recv), (SFT_partial_order[7] + 9)))
54 #define CALL_partial_order___PartialOrderElement___reverse_linear_extension(recv) ((partial_order___PartialOrderElement___reverse_linear_extension_t)CALL((recv), (SFT_partial_order[7] + 10)))
55 #define CALL_partial_order___PartialOrderElement_____l(recv) ((partial_order___PartialOrderElement_____l_t)CALL((recv), (SFT_partial_order[7] + 11)))
56 #define CALL_partial_order___PartialOrderElement_____leq(recv) ((partial_order___PartialOrderElement_____leq_t)CALL((recv), (SFT_partial_order[7] + 12)))
57 #define CALL_partial_order___PartialOrderElement_____g(recv) ((partial_order___PartialOrderElement_____g_t)CALL((recv), (SFT_partial_order[7] + 13)))
58 #define CALL_partial_order___PartialOrderElement_____geq(recv) ((partial_order___PartialOrderElement_____geq_t)CALL((recv), (SFT_partial_order[7] + 14)))
59 #define CALL_partial_order___PartialOrderElement___register_direct_smallers(recv) ((partial_order___PartialOrderElement___register_direct_smallers_t)CALL((recv), (SFT_partial_order[7] + 15)))
60 #define CALL_partial_order___PartialOrderElement___init(recv) ((partial_order___PartialOrderElement___init_t)CALL((recv), (SFT_partial_order[7] + 16)))
61 static const char * const LOCATE_partial_order___PartialOrder___roots
= "partial_order::PartialOrder::roots";
62 val_t
partial_order___PartialOrder___roots(val_t p0
);
63 typedef val_t (*partial_order___PartialOrder___roots_t
)(val_t p0
);
64 static const char * const LOCATE_partial_order___PartialOrder___is_empty
= "partial_order::PartialOrder::(abstract_collection::Collection::is_empty)";
65 val_t
partial_order___PartialOrder___is_empty(val_t p0
);
66 typedef val_t (*partial_order___PartialOrder___is_empty_t
)(val_t p0
);
67 static const char * const LOCATE_partial_order___PartialOrder___length
= "partial_order::PartialOrder::(abstract_collection::Collection::length)";
68 val_t
partial_order___PartialOrder___length(val_t p0
);
69 typedef val_t (*partial_order___PartialOrder___length_t
)(val_t p0
);
70 static const char * const LOCATE_partial_order___PartialOrder___first
= "partial_order::PartialOrder::(abstract_collection::Collection::first)";
71 val_t
partial_order___PartialOrder___first(val_t p0
);
72 typedef val_t (*partial_order___PartialOrder___first_t
)(val_t p0
);
73 static const char * const LOCATE_partial_order___PartialOrder___has
= "partial_order::PartialOrder::(abstract_collection::Collection::has)";
74 val_t
partial_order___PartialOrder___has(val_t p0
, val_t p1
);
75 typedef val_t (*partial_order___PartialOrder___has_t
)(val_t p0
, val_t p1
);
76 static const char * const LOCATE_partial_order___PartialOrder___has_only
= "partial_order::PartialOrder::(abstract_collection::Collection::has_only)";
77 val_t
partial_order___PartialOrder___has_only(val_t p0
, val_t p1
);
78 typedef val_t (*partial_order___PartialOrder___has_only_t
)(val_t p0
, val_t p1
);
79 static const char * const LOCATE_partial_order___PartialOrder___count
= "partial_order::PartialOrder::(abstract_collection::Collection::count)";
80 val_t
partial_order___PartialOrder___count(val_t p0
, val_t p1
);
81 typedef val_t (*partial_order___PartialOrder___count_t
)(val_t p0
, val_t p1
);
82 static const char * const LOCATE_partial_order___PartialOrder___iterator
= "partial_order::PartialOrder::(abstract_collection::Collection::iterator)";
83 val_t
partial_order___PartialOrder___iterator(val_t p0
);
84 typedef val_t (*partial_order___PartialOrder___iterator_t
)(val_t p0
);
85 static const char * const LOCATE_partial_order___PartialOrder_____bra
= "partial_order::PartialOrder::[]";
86 val_t
partial_order___PartialOrder_____bra(val_t p0
, val_t p1
);
87 typedef val_t (*partial_order___PartialOrder_____bra_t
)(val_t p0
, val_t p1
);
88 static const char * const LOCATE_partial_order___PartialOrder___to_dot
= "partial_order::PartialOrder::to_dot";
89 val_t
partial_order___PartialOrder___to_dot(val_t p0
);
90 typedef val_t (*partial_order___PartialOrder___to_dot_t
)(val_t p0
);
91 typedef void (*CLOS_OC_partial_order___PartialOrder___to_dot_1_0
)(struct stack_frame_t
*);
92 void OC_partial_order___PartialOrder___to_dot_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
93 typedef void (*OC_partial_order___PartialOrder___to_dot_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
94 static const char * const LOCATE_partial_order___PartialOrder___to_dot_header
= "partial_order::PartialOrder::to_dot_header";
95 val_t
partial_order___PartialOrder___to_dot_header(val_t p0
);
96 typedef val_t (*partial_order___PartialOrder___to_dot_header_t
)(val_t p0
);
97 static const char * const LOCATE_partial_order___PartialOrder___to_dot_node
= "partial_order::PartialOrder::to_dot_node";
98 val_t
partial_order___PartialOrder___to_dot_node(val_t p0
, val_t p1
);
99 typedef val_t (*partial_order___PartialOrder___to_dot_node_t
)(val_t p0
, val_t p1
);
100 static const char * const LOCATE_partial_order___PartialOrder___to_dot_edge
= "partial_order::PartialOrder::to_dot_edge";
101 val_t
partial_order___PartialOrder___to_dot_edge(val_t p0
, val_t p1
, val_t p2
);
102 typedef val_t (*partial_order___PartialOrder___to_dot_edge_t
)(val_t p0
, val_t p1
, val_t p2
);
103 static const char * const LOCATE_partial_order___PartialOrder___select_smallests
= "partial_order::PartialOrder::select_smallests";
104 val_t
partial_order___PartialOrder___select_smallests(val_t p0
, val_t p1
);
105 typedef val_t (*partial_order___PartialOrder___select_smallests_t
)(val_t p0
, val_t p1
);
106 typedef void (*CLOS_OC_partial_order___PartialOrder___select_smallests_2_0
)(struct stack_frame_t
*);
107 void OC_partial_order___PartialOrder___select_smallests_2(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
108 typedef void (*OC_partial_order___PartialOrder___select_smallests_2_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
109 static const char * const LOCATE_partial_order___PartialOrder___add
= "partial_order::PartialOrder::add";
110 val_t
partial_order___PartialOrder___add(val_t p0
, val_t p1
, val_t p2
);
111 typedef val_t (*partial_order___PartialOrder___add_t
)(val_t p0
, val_t p1
, val_t p2
);
112 static const char * const LOCATE_partial_order___PartialOrder___has_all
= "partial_order::PartialOrder::has_all";
113 val_t
partial_order___PartialOrder___has_all(val_t p0
, val_t p1
);
114 typedef val_t (*partial_order___PartialOrder___has_all_t
)(val_t p0
, val_t p1
);
115 typedef void (*CLOS_OC_partial_order___PartialOrder___has_all_1_0
)(struct stack_frame_t
*);
116 void OC_partial_order___PartialOrder___has_all_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
117 typedef void (*OC_partial_order___PartialOrder___has_all_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
118 static const char * const LOCATE_partial_order___PartialOrder___new_poe
= "partial_order::PartialOrder::new_poe";
119 val_t
partial_order___PartialOrder___new_poe(val_t p0
, val_t p1
, val_t p2
);
120 typedef val_t (*partial_order___PartialOrder___new_poe_t
)(val_t p0
, val_t p1
, val_t p2
);
121 static const char * const LOCATE_partial_order___PartialOrder___add_to_smallests
= "partial_order::PartialOrder::add_to_smallests";
122 val_t
partial_order___PartialOrder___add_to_smallests(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
123 typedef val_t (*partial_order___PartialOrder___add_to_smallests_t
)(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
124 static const char * const LOCATE_partial_order___PartialOrder___compute_smallers_for
= "partial_order::PartialOrder::compute_smallers_for";
125 void partial_order___PartialOrder___compute_smallers_for(val_t p0
, val_t p1
, val_t p2
);
126 typedef void (*partial_order___PartialOrder___compute_smallers_for_t
)(val_t p0
, val_t p1
, val_t p2
);
127 typedef void (*CLOS_OC_partial_order___PartialOrder___compute_smallers_for_1_0
)(struct stack_frame_t
*);
128 void OC_partial_order___PartialOrder___compute_smallers_for_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
129 typedef void (*OC_partial_order___PartialOrder___compute_smallers_for_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
130 static const char * const LOCATE_partial_order___PartialOrder___init
= "partial_order::PartialOrder::init";
131 void partial_order___PartialOrder___init(val_t p0
, int* init_table
);
132 typedef void (*partial_order___PartialOrder___init_t
)(val_t p0
, int* init_table
);
133 val_t
NEW_PartialOrder_partial_order___PartialOrder___init();
134 static const char * const LOCATE_partial_order___PartialOrderElement___order
= "partial_order::PartialOrderElement::order";
135 val_t
partial_order___PartialOrderElement___order(val_t p0
);
136 typedef val_t (*partial_order___PartialOrderElement___order_t
)(val_t p0
);
137 static const char * const LOCATE_partial_order___PartialOrderElement___value
= "partial_order::PartialOrderElement::value";
138 val_t
partial_order___PartialOrderElement___value(val_t p0
);
139 typedef val_t (*partial_order___PartialOrderElement___value_t
)(val_t p0
);
140 static const char * const LOCATE_partial_order___PartialOrderElement___rank
= "partial_order::PartialOrderElement::rank";
141 val_t
partial_order___PartialOrderElement___rank(val_t p0
);
142 typedef val_t (*partial_order___PartialOrderElement___rank_t
)(val_t p0
);
143 static const char * const LOCATE_partial_order___PartialOrderElement___direct_greaters
= "partial_order::PartialOrderElement::direct_greaters";
144 val_t
partial_order___PartialOrderElement___direct_greaters(val_t p0
);
145 typedef val_t (*partial_order___PartialOrderElement___direct_greaters_t
)(val_t p0
);
146 static const char * const LOCATE_partial_order___PartialOrderElement___direct_smallers
= "partial_order::PartialOrderElement::direct_smallers";
147 val_t
partial_order___PartialOrderElement___direct_smallers(val_t p0
);
148 typedef val_t (*partial_order___PartialOrderElement___direct_smallers_t
)(val_t p0
);
149 static const char * const LOCATE_partial_order___PartialOrderElement___greaters
= "partial_order::PartialOrderElement::greaters";
150 val_t
partial_order___PartialOrderElement___greaters(val_t p0
);
151 typedef val_t (*partial_order___PartialOrderElement___greaters_t
)(val_t p0
);
152 static const char * const LOCATE_partial_order___PartialOrderElement___greaters_and_self
= "partial_order::PartialOrderElement::greaters_and_self";
153 val_t
partial_order___PartialOrderElement___greaters_and_self(val_t p0
);
154 typedef val_t (*partial_order___PartialOrderElement___greaters_and_self_t
)(val_t p0
);
155 static const char * const LOCATE_partial_order___PartialOrderElement___smallers
= "partial_order::PartialOrderElement::smallers";
156 val_t
partial_order___PartialOrderElement___smallers(val_t p0
);
157 typedef val_t (*partial_order___PartialOrderElement___smallers_t
)(val_t p0
);
158 static const char * const LOCATE_partial_order___PartialOrderElement___linear_extension
= "partial_order::PartialOrderElement::linear_extension";
159 val_t
partial_order___PartialOrderElement___linear_extension(val_t p0
);
160 typedef val_t (*partial_order___PartialOrderElement___linear_extension_t
)(val_t p0
);
161 static const char * const LOCATE_partial_order___PartialOrderElement___reverse_linear_extension
= "partial_order::PartialOrderElement::reverse_linear_extension";
162 val_t
partial_order___PartialOrderElement___reverse_linear_extension(val_t p0
);
163 typedef val_t (*partial_order___PartialOrderElement___reverse_linear_extension_t
)(val_t p0
);
164 static const char * const LOCATE_partial_order___PartialOrderElement_____l
= "partial_order::PartialOrderElement::<";
165 val_t
partial_order___PartialOrderElement_____l(val_t p0
, val_t p1
);
166 typedef val_t (*partial_order___PartialOrderElement_____l_t
)(val_t p0
, val_t p1
);
167 static const char * const LOCATE_partial_order___PartialOrderElement_____leq
= "partial_order::PartialOrderElement::<=";
168 val_t
partial_order___PartialOrderElement_____leq(val_t p0
, val_t p1
);
169 typedef val_t (*partial_order___PartialOrderElement_____leq_t
)(val_t p0
, val_t p1
);
170 static const char * const LOCATE_partial_order___PartialOrderElement_____g
= "partial_order::PartialOrderElement::>";
171 val_t
partial_order___PartialOrderElement_____g(val_t p0
, val_t p1
);
172 typedef val_t (*partial_order___PartialOrderElement_____g_t
)(val_t p0
, val_t p1
);
173 static const char * const LOCATE_partial_order___PartialOrderElement_____geq
= "partial_order::PartialOrderElement::>=";
174 val_t
partial_order___PartialOrderElement_____geq(val_t p0
, val_t p1
);
175 typedef val_t (*partial_order___PartialOrderElement_____geq_t
)(val_t p0
, val_t p1
);
176 static const char * const LOCATE_partial_order___PartialOrderElement___register_direct_smallers
= "partial_order::PartialOrderElement::register_direct_smallers";
177 void partial_order___PartialOrderElement___register_direct_smallers(val_t p0
, val_t p1
);
178 typedef void (*partial_order___PartialOrderElement___register_direct_smallers_t
)(val_t p0
, val_t p1
);
179 static const char * const LOCATE_partial_order___PartialOrderElement___init
= "partial_order::PartialOrderElement::init";
180 void partial_order___PartialOrderElement___init(val_t p0
, val_t p1
, val_t p2
, val_t p3
, int* init_table
);
181 typedef void (*partial_order___PartialOrderElement___init_t
)(val_t p0
, val_t p1
, val_t p2
, val_t p3
, int* init_table
);
182 void OC_partial_order___PartialOrderElement___init_1(struct stack_frame_t
*closctx
, val_t p0
);
183 typedef void (*OC_partial_order___PartialOrderElement___init_1_t
)(struct stack_frame_t
*closctx
, val_t p0
);
184 val_t
NEW_PartialOrderElement_partial_order___PartialOrderElement___init(val_t p0
, val_t p1
, val_t p2
);
nitlanguage / nit.git / blob