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, jlong elements, jint num)
50 return (jlong)createSet((void *)solver,(unsigned int) type, (long *)elements, (unsigned int) num);
54 * Class: SatuneJavaAPI
55 * Method: createRangeSet
58 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
59 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
61 return (jlong)createRangeSet((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
65 * Class: SatuneJavaAPI
66 * Method: createRangeVar
69 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
70 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
72 return (jlong)createRangeVar((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
76 * Class: SatuneJavaAPI
77 * Method: createMutableSet
80 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
81 (JNIEnv *env, jobject obj, jlong solver, jint type)
83 return (jlong)createMutableSet((void *)solver,(unsigned int) type);
87 * Class: SatuneJavaAPI
91 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
92 (JNIEnv *env, jobject obj, jlong solver, jlong set, jlong element)
94 addItem((void *)solver,(void *)set, (long) element);
98 * Class: SatuneJavaAPI
99 * Method: finalizeMutableSet
102 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
103 (JNIEnv *ev, jobject obj, jlong solver, jlong set)
105 finalizeMutableSet((void *)solver,(void *)set);
109 * Class: SatuneJavaAPI
110 * Method: getElementVar
113 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
114 (JNIEnv *env, jobject obj, jlong solver, jlong set)
116 return (jlong) getElementVar((void *)solver,(void *)set);
120 * Class: SatuneJavaAPI
121 * Method: getElementConst
124 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
125 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong value)
127 return (jlong)getElementConst((void *)solver,(unsigned int) type, (long) value);
131 * Class: SatuneJavaAPI
132 * Method: getElementRange
135 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
136 (JNIEnv *env, jobject obj, jlong solver, jlong element)
138 return (jlong)getElementRange ((void *)solver,(void *)element);
142 * Class: SatuneJavaAPI
143 * Method: getBooleanVar
146 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
147 (JNIEnv *env, jobject obj, jlong solver, jint type)
149 return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
154 * Class: SatuneJavaAPI
155 * Method: getBooleanVar
158 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
159 (JNIEnv * env, jobject obj, jlong solver)
161 return (jlong)getBooleanTrue((void *)solver);
165 * Class: SatuneJavaAPI
166 * Method: getBooleanVar
169 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
170 (JNIEnv * env, jobject obj, jlong solver)
172 return (jlong)getBooleanFalse((void *)solver);
176 * Class: SatuneJavaAPI
177 * Method: createFunctionOperator
180 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
181 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong range, jint overflowbehavior)
183 return (jlong)createFunctionOperator((void *)solver,(unsigned int) op, (void *)range,(unsigned int) overflowbehavior);
187 * Class: SatuneJavaAPI
188 * Method: createPredicateOperator
191 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
192 (JNIEnv *env, jobject obj, jlong solver, jint op)
194 return (jlong)createPredicateOperator((void *)solver,(unsigned int) op);
198 * Class: SatuneJavaAPI
199 * Method: createPredicateTable
202 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
203 (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
205 return (jlong) createPredicateTable((void *)solver,(void *)table, (unsigned int) behavior);
209 * Class: SatuneJavaAPI
210 * Method: createTable
213 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
214 (JNIEnv *env, jobject obj, jlong solver, jlong range)
216 return (jlong)createTable((void *)solver, (void *)range);
220 * Class: SatuneJavaAPI
221 * Method: createTableForPredicate
224 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
225 (JNIEnv *env, jobject obj, jlong solver)
227 return (jlong)createTableForPredicate((void *)solver);
231 * Class: SatuneJavaAPI
232 * Method: addTableEntry
233 * Signature: (JJJIJ)V
235 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
236 (JNIEnv *env, jobject obj, jlong solver, jlong table, jlong inputs, jint inputSize, jlong result)
238 addTableEntry((void *)solver,(void *)table, (void *)inputs, (unsigned int) inputSize, (long) result);
242 * Class: SatuneJavaAPI
243 * Method: completeTable
246 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
247 (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
249 return (jlong)completeTable((void *)solver,(void *)table, (unsigned int) behavior);
253 * Class: SatuneJavaAPI
254 * Method: applyFunction
255 * Signature: (JJJIJ)J
257 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
258 (JNIEnv *env, jobject obj, jlong solver, jlong function, jlong array, jint numArrays, jlong overflowstatus)
260 return (jlong)applyFunction((void *)solver,(void *)function, (void **)array, (unsigned int) numArrays, (void *)overflowstatus);
264 * Class: SatuneJavaAPI
265 * Method: applyPredicateTable
266 * Signature: (JJJIJ)J
268 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
269 (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs, jlong undefinedStatus)
271 return (jlong) applyPredicateTable((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs, (void *)undefinedStatus);
275 * Class: SatuneJavaAPI
276 * Method: applyPredicate
279 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
280 (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs)
282 return (jlong)applyPredicate((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs);
286 * Class: SatuneJavaAPI
287 * Method: applyLogicalOperation
290 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
291 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong array, jint asize)
293 return (jlong)applyLogicalOperation((void *)solver,(unsigned int) op, (void *)array, (unsigned int) asize);
297 * Class: SatuneJavaAPI
298 * Method: applyLogicalOperationTwo
301 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
302 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg1, jlong arg2)
304 return (jlong) applyLogicalOperationTwo((void *)solver,(unsigned int) op, (void *)arg1, (void *)arg2);
308 * Class: SatuneJavaAPI
309 * Method: applyLogicalOperationOne
312 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
313 (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg)
315 return (jlong)applyLogicalOperationOne((void *)solver,(unsigned int) op, (void *)arg);
319 * Class: SatuneJavaAPI
320 * Method: addConstraint
323 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
324 (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
326 addConstraint((void *)solver,(void *)constraint);
330 * Class: SatuneJavaAPI
331 * Method: printConstraint
334 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
335 (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
337 printConstraint((void *)solver,(void *)constraint);
341 * Class: SatuneJavaAPI
342 * Method: createOrder
345 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
346 (JNIEnv *env, jobject obj, jlong solver, jint type, jlong set)
348 return (jlong)createOrder((void *)solver,(unsigned int) type, (void *)set);
352 * Class: SatuneJavaAPI
353 * Method: orderConstraint
356 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
357 (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
359 return (jlong)orderConstraint((void *)solver,(void *)order, (long) first, (long) second);
363 * Class: SatuneJavaAPI
367 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
368 (JNIEnv *env, jobject obj, jlong solver)
370 return (jint) solve((void *)solver);
374 * Class: SatuneJavaAPI
375 * Method: getElementValue
378 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
379 (JNIEnv *env, jobject obj, jlong solver, jlong element)
381 return (jlong) getElementValue((void *)solver,(void *)element);
385 * Class: SatuneJavaAPI
386 * Method: getBooleanValue
389 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
390 (JNIEnv *env, jobject obj, jlong solver, jlong boolean)
392 return (jint) getBooleanValue((void *)solver, (void *)boolean);
396 * Class: SatuneJavaAPI
397 * Method: getOrderConstraintValue
400 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
401 (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
403 return (jint) getOrderConstraintValue((void *)solver,(void *)order, (long) first, (long) second);
407 * Class: SatuneJavaAPI
408 * Method: printConstraints
411 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
412 (JNIEnv *env, jobject obj, jlong solver)
414 printConstraints((void *)solver);
418 * Class: SatuneJavaAPI
422 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
423 (JNIEnv *env, jobject obj, jlong solver)
425 serialize((void *)solver);
429 * Class: SatuneJavaAPI
430 * Method: mustHaveValue
433 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
434 (JNIEnv *env, jobject obj, jlong solver, jlong element)
436 mustHaveValue((void *)solver, (void *)element);
440 * Class: SatuneJavaAPI
441 * Method: setInterpreter
444 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
445 (JNIEnv *env, jobject obj, jlong solver, jint type)
447 setInterpreter((void *)solver, (unsigned int) type);
451 * Class: SatuneJavaAPI
455 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
456 (JNIEnv *env, jobject obj, jlong solver)
458 return (jlong)clone((void *)solver);