1 /* DO NOT EDIT THIS FILE - it is machine generated */
3 /* Header for class SatuneJavaAPI */
5 #ifndef _Included_SatuneJavaAPI
6 #define _Included_SatuneJavaAPI
11 * Class: SatuneJavaAPI
12 * Method: createCCSolver
15 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createCCSolver
19 * Class: SatuneJavaAPI
20 * Method: deleteCCSolver
23 JNIEXPORT void JNICALL Java_SatuneJavaAPI_deleteCCSolver
24 (JNIEnv *, jobject, jlong);
27 * Class: SatuneJavaAPI
31 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createSet
32 (JNIEnv *, jobject, jlong, jint, jlong, jint);
35 * Class: SatuneJavaAPI
36 * Method: createRangeSet
39 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeSet
40 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
43 * Class: SatuneJavaAPI
44 * Method: createRangeVar
47 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeVar
48 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
51 * Class: SatuneJavaAPI
52 * Method: createMutableSet
55 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createMutableSet
56 (JNIEnv *, jobject, jlong, jint);
59 * Class: SatuneJavaAPI
63 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addItem
64 (JNIEnv *, jobject, jlong, jlong, jlong);
67 * Class: SatuneJavaAPI
68 * Method: finalizeMutableSet
71 JNIEXPORT void JNICALL Java_SatuneJavaAPI_finalizeMutableSet
72 (JNIEnv *, jobject, jlong, jlong);
75 * Class: SatuneJavaAPI
76 * Method: getElementVar
79 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementVar
80 (JNIEnv *, jobject, jlong, jlong);
83 * Class: SatuneJavaAPI
84 * Method: getElementConst
87 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementConst
88 (JNIEnv *, jobject, jlong, jint, jlong);
91 * Class: SatuneJavaAPI
92 * Method: getElementRange
95 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementRange
96 (JNIEnv *, jobject, jlong, jlong);
99 * Class: SatuneJavaAPI
100 * Method: getBooleanVar
103 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getBooleanVar
104 (JNIEnv *, jobject, jlong, jint);
107 * Class: SatuneJavaAPI
108 * Method: createFunctionOperator
111 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createFunctionOperator
112 (JNIEnv *, jobject, jlong, jint, jlong, jint);
115 * Class: SatuneJavaAPI
116 * Method: createPredicateOperator
119 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateOperator
120 (JNIEnv *, jobject, jlong, jint);
123 * Class: SatuneJavaAPI
124 * Method: createPredicateTable
127 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateTable
128 (JNIEnv *, jobject, jlong, jlong, jint);
131 * Class: SatuneJavaAPI
132 * Method: createTable
135 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTable
136 (JNIEnv *, jobject, jlong, jlong);
139 * Class: SatuneJavaAPI
140 * Method: createTableForPredicate
143 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTableForPredicate
144 (JNIEnv *, jobject, jlong);
147 * Class: SatuneJavaAPI
148 * Method: addTableEntry
149 * Signature: (JJJIJ)V
151 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addTableEntry
152 (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
155 * Class: SatuneJavaAPI
156 * Method: completeTable
159 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_completeTable
160 (JNIEnv *, jobject, jlong, jlong, jint);
163 * Class: SatuneJavaAPI
164 * Method: applyFunction
165 * Signature: (JJJIJ)J
167 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyFunction
168 (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
171 * Class: SatuneJavaAPI
172 * Method: applyPredicateTable
173 * Signature: (JJJIJ)J
175 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicateTable
176 (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
179 * Class: SatuneJavaAPI
180 * Method: applyPredicate
183 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicate
184 (JNIEnv *, jobject, jlong, jlong, jlong, jint);
187 * Class: SatuneJavaAPI
188 * Method: applyLogicalOperation
191 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperation
192 (JNIEnv *, jobject, jlong, jint, jlong, jint);
195 * Class: SatuneJavaAPI
196 * Method: applyLogicalOperationTwo
199 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationTwo
200 (JNIEnv *, jobject, jlong, jint, jlong, jlong);
203 * Class: SatuneJavaAPI
204 * Method: applyLogicalOperationOne
207 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationOne
208 (JNIEnv *, jobject, jlong, jint, jlong);
211 * Class: SatuneJavaAPI
212 * Method: addConstraint
215 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addConstraint
216 (JNIEnv *, jobject, jlong, jlong);
219 * Class: SatuneJavaAPI
220 * Method: createOrder
223 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createOrder
224 (JNIEnv *, jobject, jlong, jint, jlong);
227 * Class: SatuneJavaAPI
228 * Method: orderConstraint
231 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_orderConstraint
232 (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
235 * Class: SatuneJavaAPI
239 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_solve
240 (JNIEnv *, jobject, jlong);
243 * Class: SatuneJavaAPI
244 * Method: getElementValue
247 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementValue
248 (JNIEnv *, jobject, jlong, jlong);
251 * Class: SatuneJavaAPI
252 * Method: getBooleanValue
255 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getBooleanValue
256 (JNIEnv *, jobject, jlong, jlong);
259 * Class: SatuneJavaAPI
260 * Method: getOrderConstraintValue
263 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getOrderConstraintValue
264 (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
267 * Class: SatuneJavaAPI
268 * Method: printConstraints
271 JNIEXPORT void JNICALL Java_SatuneJavaAPI_printConstraints
272 (JNIEnv *, jobject, jlong);
275 * Class: SatuneJavaAPI
279 JNIEXPORT void JNICALL Java_SatuneJavaAPI_serialize
280 (JNIEnv *, jobject, jlong);
283 * Class: SatuneJavaAPI
284 * Method: mustHaveValue
287 JNIEXPORT void JNICALL Java_SatuneJavaAPI_mustHaveValue
288 (JNIEnv *, jobject, jlong, jlong);
291 * Class: SatuneJavaAPI
292 * Method: setInterpreter
295 JNIEXPORT void JNICALL Java_SatuneJavaAPI_setInterpreter
296 (JNIEnv *, jobject, jlong, jint);
299 * Class: SatuneJavaAPI
303 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_clone
304 (JNIEnv *, jobject, jlong);