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: getElementValue
288 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
289 (JNIEnv *, jobject, jlong, jlong);
292 * Class: satune_SatuneJavaAPI
293 * Method: getBooleanValue
296 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
297 (JNIEnv *, jobject, jlong, jlong);
300 * Class: satune_SatuneJavaAPI
301 * Method: getOrderConstraintValue
304 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
305 (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
308 * Class: satune_SatuneJavaAPI
309 * Method: printConstraints
312 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
313 (JNIEnv *, jobject, jlong);
316 * Class: satune_SatuneJavaAPI
320 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
321 (JNIEnv *, jobject, jlong);
324 * Class: satune_SatuneJavaAPI
325 * Method: mustHaveValue
328 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
329 (JNIEnv *, jobject, jlong, jlong);
332 * Class: satune_SatuneJavaAPI
333 * Method: setInterpreter
336 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
337 (JNIEnv *, jobject, jlong, jint);
340 * Class: satune_SatuneJavaAPI
344 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
345 (JNIEnv *, jobject, jlong);