src/satunejavaapi.cc

   1 /* DO NOT EDIT THIS FILE - it is machine generated */
   2 #include "satunejavaapi.h"
   3 #include "ccsolver.h"
   4 #define CCSOLVER(solver) (void*)solver
   5 /* Header for class SatuneJavaAPI */
   6
   7 /*
   8  * Class:     SatuneJavaAPI
   9  * Method:    createCCSolver
  10  * Signature: ()J
  11  */
  12
  13 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createCCSolver
  14         (JNIEnv *env, jobject obj)
  15 {
  16         return (jlong)createCCSolver();
  17
  18 }
  19
  20 /*
  21  * Class:     SatuneJavaAPI
  22  * Method:    deleteCCSolver
  23  * Signature: (J)V
  24  */
  25 JNIEXPORT void JNICALL Java_SatuneJavaAPI_deleteCCSolver
  26         (JNIEnv *env, jobject obj, jlong solver)
  27 {
  28         deleteCCSolver(CCSOLVER(solver));
  29 }
  30
  31 /*
  32  * Class:     SatuneJavaAPI
  33  * Method:    createSet
  34  * Signature: (JIJI)J
  35  */
  36 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createSet
  37         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong elements, jint num)
  38 {
  39         return (jlong)createSet((void *)solver,(unsigned int) type, (long *)elements, (unsigned int) num);
  40 }
  41
  42 /*
  43  * Class:     SatuneJavaAPI
  44  * Method:    createRangeSet
  45  * Signature: (JIJJ)J
  46  */
  47 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeSet
  48         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
  49 {
  50         return (jlong)createRangeSet((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
  51 }
  52
  53 /*
  54  * Class:     SatuneJavaAPI
  55  * Method:    createRangeVar
  56  * Signature: (JIJJ)J
  57  */
  58 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeVar
  59         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
  60 {
  61         return (jlong)createRangeVar((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
  62 }
  63
  64 /*
  65  * Class:     SatuneJavaAPI
  66  * Method:    createMutableSet
  67  * Signature: (JI)J
  68  */
  69 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createMutableSet
  70         (JNIEnv *env, jobject obj, jlong solver, jint type)
  71 {
  72         return (jlong)createMutableSet((void *)solver,(unsigned int) type);
  73 }
  74
  75 /*
  76  * Class:     SatuneJavaAPI
  77  * Method:    addItem
  78  * Signature: (JJJ)V
  79  */
  80 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addItem
  81         (JNIEnv *env, jobject obj, jlong solver, jlong set, jlong element)
  82 {
  83         addItem((void *)solver,(void *)set, (long) element);
  84 }
  85
  86 /*
  87  * Class:     SatuneJavaAPI
  88  * Method:    finalizeMutableSet
  89  * Signature: (JJ)V
  90  */
  91 JNIEXPORT void JNICALL Java_SatuneJavaAPI_finalizeMutableSet
  92         (JNIEnv *ev, jobject obj, jlong solver, jlong set)
  93 {
  94         finalizeMutableSet((void *)solver,(void *)set);
  95 }
  96
  97 /*
  98  * Class:     SatuneJavaAPI
  99  * Method:    getElementVar
 100  * Signature: (JJ)J
 101  */
 102 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementVar
 103         (JNIEnv *env, jobject obj, jlong solver, jlong set)
 104 {
 105         return (jlong) getElementVar((void *)solver,(void *)set);
 106 }
 107
 108 /*
 109  * Class:     SatuneJavaAPI
 110  * Method:    getElementConst
 111  * Signature: (JIJ)J
 112  */
 113 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementConst
 114         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong value)
 115 {
 116         return (jlong)getElementConst((void *)solver,(unsigned int) type, (long) value);
 117 }
 118
 119 /*
 120  * Class:     SatuneJavaAPI
 121  * Method:    getElementRange
 122  * Signature: (JJ)J
 123  */
 124 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementRange
 125         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 126 {
 127         return (jlong)getElementRange ((void *)solver,(void *)element);
 128 }
 129
 130 /*
 131  * Class:     SatuneJavaAPI
 132  * Method:    getBooleanVar
 133  * Signature: (JI)J
 134  */
 135 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getBooleanVar
 136         (JNIEnv *env, jobject obj, jlong solver, jint type)
 137 {
 138         return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
 139 }
 140
 141 /*
 142  * Class:     SatuneJavaAPI
 143  * Method:    createFunctionOperator
 144  * Signature: (JIJI)J
 145  */
 146 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createFunctionOperator
 147         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong range, jint overflowbehavior)
 148 {
 149         return (jlong)createFunctionOperator((void *)solver,(unsigned int) op, (void *)range,(unsigned int) overflowbehavior);
 150 }
 151
 152 /*
 153  * Class:     SatuneJavaAPI
 154  * Method:    createPredicateOperator
 155  * Signature: (JI)J
 156  */
 157 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateOperator
 158         (JNIEnv *env, jobject obj, jlong solver, jint op)
 159 {
 160         return (jlong)createPredicateOperator((void *)solver,(unsigned int) op);
 161 }
 162
 163 /*
 164  * Class:     SatuneJavaAPI
 165  * Method:    createPredicateTable
 166  * Signature: (JJI)J
 167  */
 168 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateTable
 169         (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
 170 {
 171         return (jlong) createPredicateTable((void *)solver,(void *)table, (unsigned int) behavior);
 172 }
 173
 174 /*
 175  * Class:     SatuneJavaAPI
 176  * Method:    createTable
 177  * Signature: (JJ)J
 178  */
 179 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTable
 180         (JNIEnv *env, jobject obj, jlong solver, jlong range)
 181 {
 182         return (jlong)createTable((void *)solver, (void *)range);
 183 }
 184
 185 /*
 186  * Class:     SatuneJavaAPI
 187  * Method:    createTableForPredicate
 188  * Signature: (J)J
 189  */
 190 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTableForPredicate
 191         (JNIEnv *env, jobject obj, jlong solver)
 192 {
 193         return (jlong)createTableForPredicate((void *)solver);
 194 }
 195
 196 /*
 197  * Class:     SatuneJavaAPI
 198  * Method:    addTableEntry
 199  * Signature: (JJJIJ)V
 200  */
 201 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addTableEntry
 202         (JNIEnv *env, jobject obj, jlong solver, jlong table, jlong inputs, jint inputSize, jlong result)
 203 {
 204         addTableEntry((void *)solver,(void *)table, (void *)inputs, (unsigned int) inputSize, (long) result);
 205 }
 206
 207 /*
 208  * Class:     SatuneJavaAPI
 209  * Method:    completeTable
 210  * Signature: (JJI)J
 211  */
 212 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_completeTable
 213         (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
 214 {
 215         return (jlong)completeTable((void *)solver,(void *)table, (unsigned int) behavior);
 216 }
 217
 218 /*
 219  * Class:     SatuneJavaAPI
 220  * Method:    applyFunction
 221  * Signature: (JJJIJ)J
 222  */
 223 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyFunction
 224         (JNIEnv *env, jobject obj, jlong solver, jlong function, jlong array, jint numArrays, jlong overflowstatus)
 225 {
 226         return (jlong)applyFunction((void *)solver,(void *)function, (void **)array, (unsigned int) numArrays, (void *)overflowstatus);
 227 }
 228
 229 /*
 230  * Class:     SatuneJavaAPI
 231  * Method:    applyPredicateTable
 232  * Signature: (JJJIJ)J
 233  */
 234 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicateTable
 235         (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs, jlong undefinedStatus)
 236 {
 237         return (jlong) applyPredicateTable((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs, (void *)undefinedStatus);
 238 }
 239
 240 /*
 241  * Class:     SatuneJavaAPI
 242  * Method:    applyPredicate
 243  * Signature: (JJJI)J
 244  */
 245 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicate
 246         (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs)
 247 {
 248         return (jlong)applyPredicate((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs);
 249 }
 250
 251 /*
 252  * Class:     SatuneJavaAPI
 253  * Method:    applyLogicalOperation
 254  * Signature: (JIJI)J
 255  */
 256 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperation
 257         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong array, jint asize)
 258 {
 259         return (jlong)applyLogicalOperation((void *)solver,(unsigned int) op, (void *)array, (unsigned int) asize);
 260 }
 261
 262 /*
 263  * Class:     SatuneJavaAPI
 264  * Method:    applyLogicalOperationTwo
 265  * Signature: (JIJJ)J
 266  */
 267 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationTwo
 268         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg1, jlong arg2)
 269 {
 270         return (jlong) applyLogicalOperationTwo((void *)solver,(unsigned int) op, (void *)arg1, (void *)arg2);
 271 }
 272
 273 /*
 274  * Class:     SatuneJavaAPI
 275  * Method:    applyLogicalOperationOne
 276  * Signature: (JIJ)J
 277  */
 278 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationOne
 279         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg)
 280 {
 281         return (jlong)applyLogicalOperationOne((void *)solver,(unsigned int) op, (void *)arg);
 282 }
 283
 284 /*
 285  * Class:     SatuneJavaAPI
 286  * Method:    addConstraint
 287  * Signature: (JJ)V
 288  */
 289 JNIEXPORT void JNICALL Java_SatuneJavaAPI_addConstraint
 290         (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
 291 {
 292         addConstraint((void *)solver,(void *)constraint);
 293 }
 294
 295 /*
 296  * Class:     SatuneJavaAPI
 297  * Method:    createOrder
 298  * Signature: (JIJ)J
 299  */
 300 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createOrder
 301         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong set)
 302 {
 303         return (jlong)createOrder((void *)solver,(unsigned int) type, (void *)set);
 304 }
 305
 306 /*
 307  * Class:     SatuneJavaAPI
 308  * Method:    orderConstraint
 309  * Signature: (JJJJ)J
 310  */
 311 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_orderConstraint
 312         (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
 313 {
 314         return (jlong)orderConstraint((void *)solver,(void *)order, (long) first, (long) second);
 315 }
 316
 317 /*
 318  * Class:     SatuneJavaAPI
 319  * Method:    solve
 320  * Signature: (J)I
 321  */
 322 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_solve
 323         (JNIEnv *env, jobject obj, jlong solver)
 324 {
 325         return (jint) solve((void *)solver);
 326 }
 327
 328 /*
 329  * Class:     SatuneJavaAPI
 330  * Method:    getElementValue
 331  * Signature: (JJ)J
 332  */
 333 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementValue
 334         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 335 {
 336         return (jlong) getElementValue((void *)solver,(void *)element);
 337 }
 338
 339 /*
 340  * Class:     SatuneJavaAPI
 341  * Method:    getBooleanValue
 342  * Signature: (JJ)I
 343  */
 344 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getBooleanValue
 345         (JNIEnv *env, jobject obj, jlong solver, jlong boolean)
 346 {
 347         return (jint) getBooleanValue((void *)solver, (void *)boolean);
 348 }
 349
 350 /*
 351  * Class:     SatuneJavaAPI
 352  * Method:    getOrderConstraintValue
 353  * Signature: (JJJJ)I
 354  */
 355 JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getOrderConstraintValue
 356         (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
 357 {
 358         return (jint) getOrderConstraintValue((void *)solver,(void *)order, (long) first, (long) second);
 359 }
 360
 361 /*
 362  * Class:     SatuneJavaAPI
 363  * Method:    printConstraints
 364  * Signature: (J)V
 365  */
 366 JNIEXPORT void JNICALL Java_SatuneJavaAPI_printConstraints
 367         (JNIEnv *env, jobject obj, jlong solver)
 368 {
 369         printConstraints((void *)solver);
 370 }
 371
 372 /*
 373  * Class:     SatuneJavaAPI
 374  * Method:    serialize
 375  * Signature: (J)V
 376  */
 377 JNIEXPORT void JNICALL Java_SatuneJavaAPI_serialize
 378         (JNIEnv *env, jobject obj, jlong solver)
 379 {
 380         serialize((void *)solver);
 381 }
 382
 383 /*
 384  * Class:     SatuneJavaAPI
 385  * Method:    mustHaveValue
 386  * Signature: (JJ)V
 387  */
 388 JNIEXPORT void JNICALL Java_SatuneJavaAPI_mustHaveValue
 389         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 390 {
 391         mustHaveValue((void *)solver, (void *)element);
 392 }
 393
 394 /*
 395  * Class:     SatuneJavaAPI
 396  * Method:    setInterpreter
 397  * Signature: (JI)V
 398  */
 399 JNIEXPORT void JNICALL Java_SatuneJavaAPI_setInterpreter
 400         (JNIEnv *env, jobject obj, jlong solver, jint type)
 401 {
 402         setInterpreter((void *)solver, (unsigned int) type);
 403 }
 404
 405 /*
 406  * Class:     SatuneJavaAPI
 407  * Method:    clone
 408  * Signature: (J)J
 409  */
 410 JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_clone
 411         (JNIEnv *env, jobject obj, jlong solver)
 412 {
 413         return (jlong)clone((void *)solver);
 414 }
 415