1 /* DO NOT EDIT THIS FILE - it is machine generated */
3 /* Header for class satune_SatuneJavaAPI */
5 #ifndef _Included_satune_SatuneJavaAPI
6 #define _Included_satune_SatuneJavaAPI
11 * Class: satune_SatuneJavaAPI
12 * Method: createCCSolver
15 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createCCSolver
19 * Class: satune_SatuneJavaAPI
20 * Method: deleteCCSolver
23 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_deleteCCSolver
24 (JNIEnv *, jobject, jlong);
28 * Class: satune_SatuneJavaAPI
29 * Method: resetCCSolver
32 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
33 (JNIEnv *, jobject, jlong);
36 * Class: satune_SatuneJavaAPI
40 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
41 (JNIEnv *, jobject , jlong , jint , jlongArray arr);
44 * Class: satune_SatuneJavaAPI
45 * Method: createRangeSet
48 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
49 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
52 * Class: satune_SatuneJavaAPI
53 * Method: createRangeVar
56 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
57 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
60 * Class: satune_SatuneJavaAPI
61 * Method: createMutableSet
64 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
65 (JNIEnv *, jobject, jlong, jint);
68 * Class: satune_SatuneJavaAPI
72 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
73 (JNIEnv *, jobject, jlong, jlong, jlong);
76 * Class: satune_SatuneJavaAPI
77 * Method: finalizeMutableSet
80 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
81 (JNIEnv *, jobject, jlong, jlong);
84 * Class: satune_SatuneJavaAPI
85 * Method: getElementVar
88 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
89 (JNIEnv *, jobject, jlong, jlong);
92 * Class: satune_SatuneJavaAPI
93 * Method: getElementConst
96 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
97 (JNIEnv *, jobject, jlong, jint, jlong);
100 * Class: satune_SatuneJavaAPI
101 * Method: getElementRange
104 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
105 (JNIEnv *, jobject, jlong, jlong);
108 * Class: satune_SatuneJavaAPI
109 * Method: getBooleanVar
112 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
113 (JNIEnv *, jobject, jlong, jint);
116 * Class: satune_SatuneJavaAPI
117 * Method: getBooleanTrue
120 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
121 (JNIEnv *, jobject, jlong);
124 * Class: satune_SatuneJavaAPI
125 * Method: getBooleanFalse
128 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
129 (JNIEnv *, jobject, jlong);
132 * Class: satune_SatuneJavaAPI
133 * Method: createFunctionOperator
136 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
137 (JNIEnv *, jobject, jlong, jint, jlong, jint);
140 * Class: satune_SatuneJavaAPI
141 * Method: createPredicateOperator
144 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
145 (JNIEnv *, jobject, jlong, jint);
148 * Class: satune_SatuneJavaAPI
149 * Method: createPredicateTable
152 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
153 (JNIEnv *, jobject, jlong, jlong, jint);
156 * Class: satune_SatuneJavaAPI
157 * Method: createTable
160 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
161 (JNIEnv *, jobject, jlong, jlong);
164 * Class: satune_SatuneJavaAPI
165 * Method: createTableForPredicate
168 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
169 (JNIEnv *, jobject, jlong);
172 * Class: satune_SatuneJavaAPI
173 * Method: addTableEntry
174 * Signature: (JJJIJ)V
176 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
177 (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
180 * Class: satune_SatuneJavaAPI
181 * Method: completeTable
184 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
185 (JNIEnv *, jobject, jlong, jlong, jint);
188 * Class: satune_SatuneJavaAPI
189 * Method: applyFunction
190 * Signature: (JJJIJ)J
192 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
193 (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
196 * Class: satune_SatuneJavaAPI
197 * Method: applyPredicateTable
198 * Signature: (JJJIJ)J
200 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
201 (JNIEnv *, jobject, jlong, jlong, jlongArray, jlong);
204 * Class: satune_SatuneJavaAPI
205 * Method: applyPredicate
208 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
209 (JNIEnv *, jobject, jlong, jlong, jlongArray);
212 * Class: satune_SatuneJavaAPI
213 * Method: applyLogicalOperation
216 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
217 (JNIEnv *, jobject, jlong, jint, jlongArray);
220 * Class: satune_SatuneJavaAPI
221 * Method: applyExactlyOneConstraint
224 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyExactlyOneConstraint
225 (JNIEnv *, jobject, jlong, jlongArray );
228 * Class: satune_SatuneJavaAPI
229 * Method: applyLogicalOperationTwo
232 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
233 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
236 * Class: satune_SatuneJavaAPI
237 * Method: applyLogicalOperationOne
240 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
241 (JNIEnv *, jobject, jlong, jint, jlong);
244 * Class: satune_SatuneJavaAPI
245 * Method: addConstraint
248 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
249 (JNIEnv *, jobject, jlong, jlong);
252 * Class: satune_SatuneJavaAPI
253 * Method: printConstraint
256 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
257 (JNIEnv *, jobject, jlong, jlong);
260 * Class: satune_SatuneJavaAPI
261 * Method: createOrder
264 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
265 (JNIEnv *, jobject, jlong, jint, jlong);
268 * Class: satune_SatuneJavaAPI
269 * Method: orderConstraint
272 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
273 (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
276 * Class: satune_SatuneJavaAPI
280 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
281 (JNIEnv *, jobject, jlong);
284 * Class: satune_SatuneJavaAPI
285 * Method: solveIncremental
288 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solveIncremental
289 (JNIEnv *, jobject, jlong);
292 * Class: satune_SatuneJavaAPI
293 * Method: getElementValue
296 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
297 (JNIEnv *, jobject, jlong, jlong);
301 * Class: satune_SatuneJavaAPI
302 * Method: getElementValue
305 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_freezeElement
306 (JNIEnv *, jobject, jlong, jlong);
309 * Class: satune_SatuneJavaAPI
310 * Method: getBooleanValue
313 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
314 (JNIEnv *, jobject, jlong, jlong);
317 * Class: satune_SatuneJavaAPI
318 * Method: getOrderConstraintValue
321 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
322 (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
325 * Class: satune_SatuneJavaAPI
326 * Method: printConstraints
329 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
330 (JNIEnv *, jobject, jlong);
333 * Class: satune_SatuneJavaAPI
334 * Method: turnoffOptimizations
337 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
338 (JNIEnv *, jobject, jlong);
341 * Class: satune_SatuneJavaAPI
345 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
346 (JNIEnv *, jobject, jlong);
349 * Class: satune_SatuneJavaAPI
350 * Method: mustHaveValue
353 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
354 (JNIEnv *, jobject, jlong, jlong);
357 * Class: satune_SatuneJavaAPI
358 * Method: setInterpreter
361 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
362 (JNIEnv *, jobject, jlong, jint);
365 * Class: satune_SatuneJavaAPI
369 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
370 (JNIEnv *, jobject, jlong);