src/satune_SatuneJavaAPI.cc

   1 /* DO NOT EDIT THIS FILE - it is machine generated */
   2 #include "satune_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_satune_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_satune_SatuneJavaAPI_deleteCCSolver
  26         (JNIEnv *env, jobject obj, jlong solver)
  27 {
  28         deleteCCSolver(CCSOLVER(solver));
  29 }
  30
  31 /*
  32  * Class:     SatuneJavaAPI
  33  * Method:    resetCCSolver
  34  * Signature: (J)V
  35  */
  36 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
  37         (JNIEnv *env, jobject obj, jlong solver)
  38 {
  39         resetCCSolver(CCSOLVER(solver));
  40 }
  41
  42 /*
  43  * Class:     SatuneJavaAPI
  44  * Method:    createSet
  45  * Signature: (JIJI)J
  46  */
  47 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
  48         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong elements, jint num)
  49 {
  50         return (jlong)createSet((void *)solver,(unsigned int) type, (long *)elements, (unsigned int) num);
  51 }
  52
  53 /*
  54  * Class:     SatuneJavaAPI
  55  * Method:    createRangeSet
  56  * Signature: (JIJJ)J
  57  */
  58 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
  59         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
  60 {
  61         return (jlong)createRangeSet((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
  62 }
  63
  64 /*
  65  * Class:     SatuneJavaAPI
  66  * Method:    createRangeVar
  67  * Signature: (JIJJ)J
  68  */
  69 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
  70         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
  71 {
  72         return (jlong)createRangeVar((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
  73 }
  74
  75 /*
  76  * Class:     SatuneJavaAPI
  77  * Method:    createMutableSet
  78  * Signature: (JI)J
  79  */
  80 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
  81         (JNIEnv *env, jobject obj, jlong solver, jint type)
  82 {
  83         return (jlong)createMutableSet((void *)solver,(unsigned int) type);
  84 }
  85
  86 /*
  87  * Class:     SatuneJavaAPI
  88  * Method:    addItem
  89  * Signature: (JJJ)V
  90  */
  91 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
  92         (JNIEnv *env, jobject obj, jlong solver, jlong set, jlong element)
  93 {
  94         addItem((void *)solver,(void *)set, (long) element);
  95 }
  96
  97 /*
  98  * Class:     SatuneJavaAPI
  99  * Method:    finalizeMutableSet
 100  * Signature: (JJ)V
 101  */
 102 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
 103         (JNIEnv *ev, jobject obj, jlong solver, jlong set)
 104 {
 105         finalizeMutableSet((void *)solver,(void *)set);
 106 }
 107
 108 /*
 109  * Class:     SatuneJavaAPI
 110  * Method:    getElementVar
 111  * Signature: (JJ)J
 112  */
 113 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
 114         (JNIEnv *env, jobject obj, jlong solver, jlong set)
 115 {
 116         return (jlong) getElementVar((void *)solver,(void *)set);
 117 }
 118
 119 /*
 120  * Class:     SatuneJavaAPI
 121  * Method:    getElementConst
 122  * Signature: (JIJ)J
 123  */
 124 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
 125         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong value)
 126 {
 127         return (jlong)getElementConst((void *)solver,(unsigned int) type, (long) value);
 128 }
 129
 130 /*
 131  * Class:     SatuneJavaAPI
 132  * Method:    getElementRange
 133  * Signature: (JJ)J
 134  */
 135 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
 136         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 137 {
 138         return (jlong)getElementRange ((void *)solver,(void *)element);
 139 }
 140
 141 /*
 142  * Class:     SatuneJavaAPI
 143  * Method:    getBooleanVar
 144  * Signature: (JI)J
 145  */
 146 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
 147         (JNIEnv *env, jobject obj, jlong solver, jint type)
 148 {
 149         return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
 150 }
 151
 152
 153 /*
 154  * Class:     SatuneJavaAPI
 155  * Method:    getBooleanVar
 156  * Signature: (JI)J
 157  */
 158 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
 159         (JNIEnv * env, jobject obj, jlong solver)
 160 {
 161         return (jlong)getBooleanTrue((void *)solver);
 162 }
 163
 164 /*
 165  * Class:     SatuneJavaAPI
 166  * Method:    getBooleanVar
 167  * Signature: (JI)J
 168  */
 169 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
 170         (JNIEnv * env, jobject obj, jlong solver)
 171 {
 172         return (jlong)getBooleanFalse((void *)solver);
 173 }
 174
 175 /*
 176  * Class:     SatuneJavaAPI
 177  * Method:    createFunctionOperator
 178  * Signature: (JIJI)J
 179  */
 180 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
 181         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong range, jint overflowbehavior)
 182 {
 183         return (jlong)createFunctionOperator((void *)solver,(unsigned int) op, (void *)range,(unsigned int) overflowbehavior);
 184 }
 185
 186 /*
 187  * Class:     SatuneJavaAPI
 188  * Method:    createPredicateOperator
 189  * Signature: (JI)J
 190  */
 191 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
 192         (JNIEnv *env, jobject obj, jlong solver, jint op)
 193 {
 194         return (jlong)createPredicateOperator((void *)solver,(unsigned int) op);
 195 }
 196
 197 /*
 198  * Class:     SatuneJavaAPI
 199  * Method:    createPredicateTable
 200  * Signature: (JJI)J
 201  */
 202 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
 203         (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
 204 {
 205         return (jlong) createPredicateTable((void *)solver,(void *)table, (unsigned int) behavior);
 206 }
 207
 208 /*
 209  * Class:     SatuneJavaAPI
 210  * Method:    createTable
 211  * Signature: (JJ)J
 212  */
 213 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
 214         (JNIEnv *env, jobject obj, jlong solver, jlong range)
 215 {
 216         return (jlong)createTable((void *)solver, (void *)range);
 217 }
 218
 219 /*
 220  * Class:     SatuneJavaAPI
 221  * Method:    createTableForPredicate
 222  * Signature: (J)J
 223  */
 224 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
 225         (JNIEnv *env, jobject obj, jlong solver)
 226 {
 227         return (jlong)createTableForPredicate((void *)solver);
 228 }
 229
 230 /*
 231  * Class:     SatuneJavaAPI
 232  * Method:    addTableEntry
 233  * Signature: (JJJIJ)V
 234  */
 235 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
 236         (JNIEnv *env, jobject obj, jlong solver, jlong table, jlong inputs, jint inputSize, jlong result)
 237 {
 238         addTableEntry((void *)solver,(void *)table, (void *)inputs, (unsigned int) inputSize, (long) result);
 239 }
 240
 241 /*
 242  * Class:     SatuneJavaAPI
 243  * Method:    completeTable
 244  * Signature: (JJI)J
 245  */
 246 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
 247         (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
 248 {
 249         return (jlong)completeTable((void *)solver,(void *)table, (unsigned int) behavior);
 250 }
 251
 252 /*
 253  * Class:     SatuneJavaAPI
 254  * Method:    applyFunction
 255  * Signature: (JJJIJ)J
 256  */
 257 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
 258         (JNIEnv *env, jobject obj, jlong solver, jlong function, jlong array, jint numArrays, jlong overflowstatus)
 259 {
 260         return (jlong)applyFunction((void *)solver,(void *)function, (void **)array, (unsigned int) numArrays, (void *)overflowstatus);
 261 }
 262
 263 /*
 264  * Class:     SatuneJavaAPI
 265  * Method:    applyPredicateTable
 266  * Signature: (JJJIJ)J
 267  */
 268 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
 269         (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs, jlong undefinedStatus)
 270 {
 271         return (jlong) applyPredicateTable((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs, (void *)undefinedStatus);
 272 }
 273
 274 /*
 275  * Class:     SatuneJavaAPI
 276  * Method:    applyPredicate
 277  * Signature: (JJJI)J
 278  */
 279 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
 280         (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs)
 281 {
 282         return (jlong)applyPredicate((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs);
 283 }
 284
 285 /*
 286  * Class:     SatuneJavaAPI
 287  * Method:    applyLogicalOperation
 288  * Signature: (JIJI)J
 289  */
 290 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
 291         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong array, jint asize)
 292 {
 293         return (jlong)applyLogicalOperation((void *)solver,(unsigned int) op, (void *)array, (unsigned int) asize);
 294 }
 295
 296 /*
 297  * Class:     SatuneJavaAPI
 298  * Method:    applyLogicalOperationTwo
 299  * Signature: (JIJJ)J
 300  */
 301 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
 302         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg1, jlong arg2)
 303 {
 304         return (jlong) applyLogicalOperationTwo((void *)solver,(unsigned int) op, (void *)arg1, (void *)arg2);
 305 }
 306
 307 /*
 308  * Class:     SatuneJavaAPI
 309  * Method:    applyLogicalOperationOne
 310  * Signature: (JIJ)J
 311  */
 312 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
 313         (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg)
 314 {
 315         return (jlong)applyLogicalOperationOne((void *)solver,(unsigned int) op, (void *)arg);
 316 }
 317
 318 /*
 319  * Class:     SatuneJavaAPI
 320  * Method:    addConstraint
 321  * Signature: (JJ)V
 322  */
 323 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
 324         (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
 325 {
 326         addConstraint((void *)solver,(void *)constraint);
 327 }
 328
 329 /*
 330  * Class:     SatuneJavaAPI
 331  * Method:    printConstraint
 332  * Signature: (JJ)V
 333  */
 334 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
 335         (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
 336 {
 337         printConstraint((void *)solver,(void *)constraint);
 338 }
 339
 340 /*
 341  * Class:     SatuneJavaAPI
 342  * Method:    createOrder
 343  * Signature: (JIJ)J
 344  */
 345 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
 346         (JNIEnv *env, jobject obj, jlong solver, jint type, jlong set)
 347 {
 348         return (jlong)createOrder((void *)solver,(unsigned int) type, (void *)set);
 349 }
 350
 351 /*
 352  * Class:     SatuneJavaAPI
 353  * Method:    orderConstraint
 354  * Signature: (JJJJ)J
 355  */
 356 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
 357         (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
 358 {
 359         return (jlong)orderConstraint((void *)solver,(void *)order, (long) first, (long) second);
 360 }
 361
 362 /*
 363  * Class:     SatuneJavaAPI
 364  * Method:    solve
 365  * Signature: (J)I
 366  */
 367 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
 368         (JNIEnv *env, jobject obj, jlong solver)
 369 {
 370         return (jint) solve((void *)solver);
 371 }
 372
 373 /*
 374  * Class:     SatuneJavaAPI
 375  * Method:    getElementValue
 376  * Signature: (JJ)J
 377  */
 378 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
 379         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 380 {
 381         return (jlong) getElementValue((void *)solver,(void *)element);
 382 }
 383
 384 /*
 385  * Class:     SatuneJavaAPI
 386  * Method:    getBooleanValue
 387  * Signature: (JJ)I
 388  */
 389 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
 390         (JNIEnv *env, jobject obj, jlong solver, jlong boolean)
 391 {
 392         return (jint) getBooleanValue((void *)solver, (void *)boolean);
 393 }
 394
 395 /*
 396  * Class:     SatuneJavaAPI
 397  * Method:    getOrderConstraintValue
 398  * Signature: (JJJJ)I
 399  */
 400 JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
 401         (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
 402 {
 403         return (jint) getOrderConstraintValue((void *)solver,(void *)order, (long) first, (long) second);
 404 }
 405
 406 /*
 407  * Class:     SatuneJavaAPI
 408  * Method:    printConstraints
 409  * Signature: (J)V
 410  */
 411 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
 412         (JNIEnv *env, jobject obj, jlong solver)
 413 {
 414         printConstraints((void *)solver);
 415 }
 416
 417 /*
 418  * Class:     SatuneJavaAPI
 419  * Method:    serialize
 420  * Signature: (J)V
 421  */
 422 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
 423         (JNIEnv *env, jobject obj, jlong solver)
 424 {
 425         serialize((void *)solver);
 426 }
 427
 428 /*
 429  * Class:     SatuneJavaAPI
 430  * Method:    mustHaveValue
 431  * Signature: (JJ)V
 432  */
 433 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
 434         (JNIEnv *env, jobject obj, jlong solver, jlong element)
 435 {
 436         mustHaveValue((void *)solver, (void *)element);
 437 }
 438
 439 /*
 440  * Class:     SatuneJavaAPI
 441  * Method:    setInterpreter
 442  * Signature: (JI)V
 443  */
 444 JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
 445         (JNIEnv *env, jobject obj, jlong solver, jint type)
 446 {
 447         setInterpreter((void *)solver, (unsigned int) type);
 448 }
 449
 450 /*
 451  * Class:     SatuneJavaAPI
 452  * Method:    clone
 453  * Signature: (J)J
 454  */
 455 JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
 456         (JNIEnv *env, jobject obj, jlong solver)
 457 {
 458         return (jlong)clone((void *)solver);
 459 }
 460