1 /* DO NOT EDIT THIS FILE - it is machine generated */
2 #include "satune_SatuneJavaAPI.h"
4 #define CCSOLVER(solver) (void *)solver
5 /* Header for class SatuneJavaAPI */
9 * Method: createCCSolver
13 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createCCSolver
14 (JNIEnv *env, jobject obj)
16 return (jlong)createCCSolver();
21 * Class: SatuneJavaAPI
22 * Method: deleteCCSolver
25 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_deleteCCSolver
26 (JNIEnv *env, jobject obj, jlong solver)
28 deleteCCSolver(CCSOLVER(solver));
32 * Class: SatuneJavaAPI
33 * Method: resetCCSolver
36 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
37 (JNIEnv *env, jobject obj, jlong solver)
39 resetCCSolver(CCSOLVER(solver));
43 * Class: SatuneJavaAPI
47 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
48 (JNIEnv *env, jobject obj, jlong solver, jint type, jlongArray arr)
50 jsize num = env->GetArrayLength(arr);
51 jlong *elements = env->GetLongArrayElements(arr, 0);
52 return (jlong)createSet((void *)solver,(unsigned int) type, elements, (unsigned int) num);
56 * Class: SatuneJavaAPI
57 * Method: createRangeSet
60 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
61 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
63 return (jlong)createRangeSet((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
67 * Class: SatuneJavaAPI
68 * Method: createRangeVar
71 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
72 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
74 return (jlong)createRangeVar((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
78 * Class: SatuneJavaAPI
79 * Method: createMutableSet
82 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
83 (JNIEnv *env, jobject obj, jlong solver, jint type)
85 return (jlong)createMutableSet((void *)solver,(unsigned int) type);
89 * Class: SatuneJavaAPI
93 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
94 (JNIEnv *env, jobject obj, jlong solver, jlong set, jlong element)
96 addItem((void *)solver,(void *)set, (long) element);
100 * Class: SatuneJavaAPI
101 * Method: finalizeMutableSet
104 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
105 (JNIEnv *ev, jobject obj, jlong solver, jlong set)
107 finalizeMutableSet((void *)solver,(void *)set);
111 * Class: SatuneJavaAPI
112 * Method: getElementVar
115 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
116 (JNIEnv *env, jobject obj, jlong solver, jlong set)
118 return (jlong) getElementVar((void *)solver,(void *)set);
122 * Class: SatuneJavaAPI
123 * Method: getElementConst
126 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
127 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong value)
129 return (jlong)getElementConst((void *)solver,(unsigned int) type, (long) value);
133 * Class: SatuneJavaAPI
134 * Method: getElementRange
137 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
138 (JNIEnv *env, jobject obj, jlong solver, jlong element)
140 return (jlong)getElementRange ((void *)solver,(void *)element);
144 * Class: SatuneJavaAPI
145 * Method: getBooleanVar
148 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
149 (JNIEnv *env, jobject obj, jlong solver, jint type)
151 return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
156 * Class: SatuneJavaAPI
157 * Method: getBooleanVar
160 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
161 (JNIEnv *env, jobject obj, jlong solver)
163 return (jlong)getBooleanTrue((void *)solver);
167 * Class: SatuneJavaAPI
168 * Method: getBooleanVar
171 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
172 (JNIEnv *env, jobject obj, jlong solver)
174 return (jlong)getBooleanFalse((void *)solver);
178 * Class: SatuneJavaAPI
179 * Method: createFunctionOperator
182 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
183 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong range, jint overflowbehavior)
185 return (jlong)createFunctionOperator((void *)solver,(unsigned int) op, (void *)range,(unsigned int) overflowbehavior);
189 * Class: SatuneJavaAPI
190 * Method: createPredicateOperator
193 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
194 (JNIEnv *env, jobject obj, jlong solver, jint op)
196 return (jlong)createPredicateOperator((void *)solver,(unsigned int) op);
200 * Class: SatuneJavaAPI
201 * Method: createPredicateTable
204 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
205 (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
207 return (jlong) createPredicateTable((void *)solver,(void *)table, (unsigned int) behavior);
211 * Class: SatuneJavaAPI
212 * Method: createTable
215 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
216 (JNIEnv *env, jobject obj, jlong solver, jlong range)
218 return (jlong)createTable((void *)solver, (void *)range);
222 * Class: SatuneJavaAPI
223 * Method: createTableForPredicate
226 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
227 (JNIEnv *env, jobject obj, jlong solver)
229 return (jlong)createTableForPredicate((void *)solver);
233 * Class: SatuneJavaAPI
234 * Method: addTableEntry
235 * Signature: (JJJIJ)V
237 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
238 (JNIEnv *env, jobject obj, jlong solver, jlong table, jlong inputs, jint inputSize, jlong result)
240 addTableEntry((void *)solver,(void *)table, (void *)inputs, (unsigned int) inputSize, (long) result);
244 * Class: SatuneJavaAPI
245 * Method: completeTable
248 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
249 (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
251 return (jlong)completeTable((void *)solver,(void *)table, (unsigned int) behavior);
255 * Class: SatuneJavaAPI
256 * Method: applyFunction
257 * Signature: (JJJIJ)J
259 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
260 (JNIEnv *env, jobject obj, jlong solver, jlong function, jlong array, jint numArrays, jlong overflowstatus)
262 return (jlong)applyFunction((void *)solver,(void *)function, (void **)array, (unsigned int) numArrays, (void *)overflowstatus);
266 * Class: SatuneJavaAPI
267 * Method: applyPredicateTable
268 * Signature: (JJJIJ)J
270 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
271 (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlongArray arr, jlong undefinedStatus)
273 jsize numInputs = env->GetArrayLength(arr);
274 jlong *inputs = env->GetLongArrayElements(arr, 0);
275 return (jlong) applyPredicateTable((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs, (void *)undefinedStatus);
279 * Class: SatuneJavaAPI
280 * Method: applyPredicate
283 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
284 (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlongArray arr)
286 jsize numInputs = env->GetArrayLength(arr);
287 jlong *inputs = env->GetLongArrayElements(arr, 0);
288 return (jlong)applyPredicate((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs);
292 * Class: SatuneJavaAPI
293 * Method: applyLogicalOperation
296 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
297 (JNIEnv *env, jobject obj, jlong solver, jint op, jlongArray arr)
299 jsize asize = env->GetArrayLength(arr);
300 jlong *array = env->GetLongArrayElements(arr, 0);
301 return (jlong)applyLogicalOperation((void *)solver,(unsigned int) op, (void **)array, (unsigned int) asize);
305 * Class: SatuneJavaAPI
306 * Method: applyLogicalOperation
309 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyExactlyOneConstraint
310 (JNIEnv *env, jobject obj, jlong solver, jlongArray arr)
312 jsize asize = env->GetArrayLength(arr);
313 jlong *array = env->GetLongArrayElements(arr, 0);
314 return (jlong)applyExactlyOneConstraint((void *)solver,(void **)array, (unsigned int) asize);
318 * Class: SatuneJavaAPI
319 * Method: applyLogicalOperationTwo
322 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
323 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg1, jlong arg2)
325 return (jlong) applyLogicalOperationTwo((void *)solver,(unsigned int) op, (void *)arg1, (void *)arg2);
329 * Class: SatuneJavaAPI
330 * Method: applyLogicalOperationOne
333 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
334 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg)
336 return (jlong)applyLogicalOperationOne((void *)solver,(unsigned int) op, (void *)arg);
340 * Class: SatuneJavaAPI
341 * Method: addConstraint
344 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
345 (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
347 addConstraint((void *)solver,(void *)constraint);
351 * Class: SatuneJavaAPI
352 * Method: printConstraint
355 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
356 (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
358 printConstraint((void *)solver,(void *)constraint);
362 * Class: SatuneJavaAPI
363 * Method: createOrder
366 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
367 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong set)
369 return (jlong)createOrder((void *)solver,(unsigned int) type, (void *)set);
373 * Class: SatuneJavaAPI
374 * Method: orderConstraint
377 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
378 (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
380 return (jlong)orderConstraint((void *)solver,(void *)order, (long) first, (long) second);
384 * Class: SatuneJavaAPI
388 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
389 (JNIEnv *env, jobject obj, jlong solver)
391 return (jint) solve((void *)solver);
395 * Class: SatuneJavaAPI
396 * Method: solveIncremental
399 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solveIncremental
400 (JNIEnv *env, jobject obj, jlong solver)
402 return (jint) solveIncremental((void *)solver);
406 * Class: SatuneJavaAPI
407 * Method: getElementValue
410 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
411 (JNIEnv *env, jobject obj, jlong solver, jlong element)
413 return (jlong) getElementValue((void *)solver,(void *)element);
417 * Class: SatuneJavaAPI
418 * Method: freezeElement
421 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_freezeElement
422 (JNIEnv *env, jobject obj, jlong solver, jlong element)
424 freezeElement((void *)solver,(void *)element);
428 * Class: SatuneJavaAPI
429 * Method: getBooleanValue
432 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
433 (JNIEnv *env, jobject obj, jlong solver, jlong boolean)
435 return (jint) getBooleanValue((void *)solver, (void *)boolean);
439 * Class: SatuneJavaAPI
440 * Method: getOrderConstraintValue
443 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
444 (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
446 return (jint) getOrderConstraintValue((void *)solver,(void *)order, (long) first, (long) second);
450 * Class: SatuneJavaAPI
451 * Method: printConstraints
454 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
455 (JNIEnv *env, jobject obj, jlong solver)
457 printConstraints((void *)solver);
461 * Class: SatuneJavaAPI
462 * Method: turnoffOptimizations
465 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
466 (JNIEnv *env, jobject obj, jlong solver)
468 turnoffOptimizations((void *)solver);
472 * Class: SatuneJavaAPI
476 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
477 (JNIEnv *env, jobject obj, jlong solver)
479 serialize((void *)solver);
483 * Class: SatuneJavaAPI
484 * Method: mustHaveValue
487 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
488 (JNIEnv *env, jobject obj, jlong solver, jlong element)
490 mustHaveValue((void *)solver, (void *)element);
494 * Class: SatuneJavaAPI
495 * Method: setInterpreter
498 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
499 (JNIEnv *env, jobject obj, jlong solver, jint type)
501 setInterpreter((void *)solver, (unsigned int) type);
505 * Class: SatuneJavaAPI
509 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
510 (JNIEnv *env, jobject obj, jlong solver)
512 return (jlong)clone((void *)solver);