BUG FIX:Timeout getting stuck bug
[satune.git] / src / satune_SatuneJavaAPI.h
1 /* DO NOT EDIT THIS FILE - it is machine generated */
2 #include <jni.h>
3 /* Header for class satune_SatuneJavaAPI */
4
5 #ifndef _Included_satune_SatuneJavaAPI
6 #define _Included_satune_SatuneJavaAPI
7 #ifdef __cplusplus
8 extern "C" {
9 #endif
10 /*
11  * Class:     satune_SatuneJavaAPI
12  * Method:    createCCSolver
13  * Signature: ()J
14  */
15 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createCCSolver
16         (JNIEnv *, jobject);
17
18 /*
19  * Class:     satune_SatuneJavaAPI
20  * Method:    deleteCCSolver
21  * Signature: (J)V
22  */
23 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_deleteCCSolver
24         (JNIEnv *, jobject, jlong);
25
26
27 /*
28  * Class:     satune_SatuneJavaAPI
29  * Method:    resetCCSolver
30  * Signature: (J)V
31  */
32 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
33         (JNIEnv *, jobject, jlong);
34
35 /*
36  * Class:     satune_SatuneJavaAPI
37  * Method:    createSet
38  * Signature: (JIJI)J
39  */
40 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
41         (JNIEnv *, jobject, jlong, jint, jlongArray arr);
42
43 /*
44  * Class:     satune_SatuneJavaAPI
45  * Method:    createRangeSet
46  * Signature: (JIJJ)J
47  */
48 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
49         (JNIEnv *, jobject, jlong, jint, jlong, jlong);
50
51 /*
52  * Class:     satune_SatuneJavaAPI
53  * Method:    createRangeVar
54  * Signature: (JIJJ)J
55  */
56 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
57         (JNIEnv *, jobject, jlong, jint, jlong, jlong);
58
59 /*
60  * Class:     satune_SatuneJavaAPI
61  * Method:    createMutableSet
62  * Signature: (JI)J
63  */
64 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
65         (JNIEnv *, jobject, jlong, jint);
66
67 /*
68  * Class:     satune_SatuneJavaAPI
69  * Method:    addItem
70  * Signature: (JJJ)V
71  */
72 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
73         (JNIEnv *, jobject, jlong, jlong, jlong);
74
75 /*
76  * Class:     satune_SatuneJavaAPI
77  * Method:    finalizeMutableSet
78  * Signature: (JJ)V
79  */
80 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
81         (JNIEnv *, jobject, jlong, jlong);
82
83 /*
84  * Class:     satune_SatuneJavaAPI
85  * Method:    getElementVar
86  * Signature: (JJ)J
87  */
88 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
89         (JNIEnv *, jobject, jlong, jlong);
90
91 /*
92  * Class:     satune_SatuneJavaAPI
93  * Method:    getElementConst
94  * Signature: (JIJ)J
95  */
96 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
97         (JNIEnv *, jobject, jlong, jint, jlong);
98
99 /*
100  * Class:     satune_SatuneJavaAPI
101  * Method:    getElementRange
102  * Signature: (JJ)J
103  */
104 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
105         (JNIEnv *, jobject, jlong, jlong);
106
107 /*
108  * Class:     satune_SatuneJavaAPI
109  * Method:    getBooleanVar
110  * Signature: (JI)J
111  */
112 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
113         (JNIEnv *, jobject, jlong, jint);
114
115 /*
116  * Class:     satune_SatuneJavaAPI
117  * Method:    getBooleanTrue
118  * Signature: (J)J
119  */
120 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
121         (JNIEnv *, jobject, jlong);
122
123 /*
124  * Class:     satune_SatuneJavaAPI
125  * Method:    getBooleanFalse
126  * Signature: (J)J
127  */
128 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
129         (JNIEnv *, jobject, jlong);
130
131 /*
132  * Class:     satune_SatuneJavaAPI
133  * Method:    createFunctionOperator
134  * Signature: (JIJI)J
135  */
136 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
137         (JNIEnv *, jobject, jlong, jint, jlong, jint);
138
139 /*
140  * Class:     satune_SatuneJavaAPI
141  * Method:    createPredicateOperator
142  * Signature: (JI)J
143  */
144 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
145         (JNIEnv *, jobject, jlong, jint);
146
147 /*
148  * Class:     satune_SatuneJavaAPI
149  * Method:    createPredicateTable
150  * Signature: (JJI)J
151  */
152 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
153         (JNIEnv *, jobject, jlong, jlong, jint);
154
155 /*
156  * Class:     satune_SatuneJavaAPI
157  * Method:    createTable
158  * Signature: (JJ)J
159  */
160 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
161         (JNIEnv *, jobject, jlong, jlong);
162
163 /*
164  * Class:     satune_SatuneJavaAPI
165  * Method:    createTableForPredicate
166  * Signature: (J)J
167  */
168 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
169         (JNIEnv *, jobject, jlong);
170
171 /*
172  * Class:     satune_SatuneJavaAPI
173  * Method:    addTableEntry
174  * Signature: (JJJIJ)V
175  */
176 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
177         (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
178
179 /*
180  * Class:     satune_SatuneJavaAPI
181  * Method:    completeTable
182  * Signature: (JJI)J
183  */
184 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
185         (JNIEnv *, jobject, jlong, jlong, jint);
186
187 /*
188  * Class:     satune_SatuneJavaAPI
189  * Method:    applyFunction
190  * Signature: (JJJIJ)J
191  */
192 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
193         (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
194
195 /*
196  * Class:     satune_SatuneJavaAPI
197  * Method:    applyPredicateTable
198  * Signature: (JJJIJ)J
199  */
200 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
201         (JNIEnv *, jobject, jlong, jlong, jlongArray, jlong);
202
203 /*
204  * Class:     satune_SatuneJavaAPI
205  * Method:    applyPredicate
206  * Signature: (JJJI)J
207  */
208 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
209         (JNIEnv *, jobject, jlong, jlong, jlongArray);
210
211 /*
212  * Class:     satune_SatuneJavaAPI
213  * Method:    applyLogicalOperation
214  * Signature: (JIJI)J
215  */
216 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
217         (JNIEnv *, jobject, jlong, jint, jlongArray);
218
219 /*
220  * Class:     satune_SatuneJavaAPI
221  * Method:    applyExactlyOneConstraint
222  * Signature: (JIJI)J
223  */
224 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyExactlyOneConstraint
225         (JNIEnv *, jobject, jlong, jlongArray );
226
227 /*
228  * Class:     satune_SatuneJavaAPI
229  * Method:    applyLogicalOperationTwo
230  * Signature: (JIJJ)J
231  */
232 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
233         (JNIEnv *, jobject, jlong, jint, jlong, jlong);
234
235 /*
236  * Class:     satune_SatuneJavaAPI
237  * Method:    applyLogicalOperationOne
238  * Signature: (JIJ)J
239  */
240 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
241         (JNIEnv *, jobject, jlong, jint, jlong);
242
243 /*
244  * Class:     satune_SatuneJavaAPI
245  * Method:    addConstraint
246  * Signature: (JJ)V
247  */
248 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
249         (JNIEnv *, jobject, jlong, jlong);
250
251 /*
252  * Class:     satune_SatuneJavaAPI
253  * Method:    printConstraint
254  * Signature: (JJ)V
255  */
256 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
257         (JNIEnv *, jobject, jlong, jlong);
258
259 /*
260  * Class:     satune_SatuneJavaAPI
261  * Method:    createOrder
262  * Signature: (JIJ)J
263  */
264 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
265         (JNIEnv *, jobject, jlong, jint, jlong);
266
267 /*
268  * Class:     satune_SatuneJavaAPI
269  * Method:    orderConstraint
270  * Signature: (JJJJ)J
271  */
272 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
273         (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
274
275 /*
276  * Class:     satune_SatuneJavaAPI
277  * Method:    solve
278  * Signature: (J)I
279  */
280 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
281         (JNIEnv *, jobject, jlong);
282
283 /*
284  * Class:     satune_SatuneJavaAPI
285  * Method:    solveIncremental
286  * Signature: (J)I
287  */
288 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solveIncremental
289         (JNIEnv *, jobject, jlong);
290
291 /*
292  * Class:     satune_SatuneJavaAPI
293  * Method:    getElementValue
294  * Signature: (JJ)J
295  */
296 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
297         (JNIEnv *, jobject, jlong, jlong);
298
299
300 /*
301  * Class:     satune_SatuneJavaAPI
302  * Method:    getElementValue
303  * Signature: (JJ)J
304  */
305 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_freezeElement
306         (JNIEnv *, jobject, jlong, jlong);
307
308 /*
309  * Class:     satune_SatuneJavaAPI
310  * Method:    getBooleanValue
311  * Signature: (JJ)I
312  */
313 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
314         (JNIEnv *, jobject, jlong, jlong);
315
316 /*
317  * Class:     satune_SatuneJavaAPI
318  * Method:    getOrderConstraintValue
319  * Signature: (JJJJ)I
320  */
321 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
322         (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
323
324 /*
325  * Class:     satune_SatuneJavaAPI
326  * Method:    printConstraints
327  * Signature: (J)V
328  */
329 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
330         (JNIEnv *, jobject, jlong);
331
332 /*
333  * Class:     satune_SatuneJavaAPI
334  * Method:    turnoffOptimizations
335  * Signature: (J)V
336  */
337 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
338         (JNIEnv *, jobject, jlong);
339
340 /*
341  * Class:     satune_SatuneJavaAPI
342  * Method:    serialize
343  * Signature: (J)V
344  */
345 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
346         (JNIEnv *, jobject, jlong);
347
348 /*
349  * Class:     satune_SatuneJavaAPI
350  * Method:    mustHaveValue
351  * Signature: (JJ)V
352  */
353 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
354         (JNIEnv *, jobject, jlong, jlong);
355
356 /*
357  * Class:     satune_SatuneJavaAPI
358  * Method:    setInterpreter
359  * Signature: (JI)V
360  */
361 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
362         (JNIEnv *, jobject, jlong, jint);
363
364 /*
365  * Class:     satune_SatuneJavaAPI
366  * Method:    clone
367  * Signature: (J)J
368  */
369 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
370         (JNIEnv *, jobject, jlong);
371
372 #ifdef __cplusplus
373 }
374 #endif
375 #endif