+++ /dev/null
-/* DO NOT EDIT THIS FILE - it is machine generated */
-#include "satunejavaapi.h"
-#include "ccsolver.h"
-#define CCSOLVER(solver) (void*)solver
-/* Header for class SatuneJavaAPI */
-
-/*
- * Class: SatuneJavaAPI
- * Method: createCCSolver
- * Signature: ()J
- */
-
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createCCSolver
- (JNIEnv *env, jobject obj)
-{
- return (jlong)createCCSolver();
-
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: deleteCCSolver
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_deleteCCSolver
- (JNIEnv *env, jobject obj, jlong solver)
-{
- deleteCCSolver(CCSOLVER(solver));
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createSet
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createSet
- (JNIEnv *env, jobject obj, jlong solver, jint type, jlong elements, jint num)
-{
- return (jlong)createSet((void *)solver,(unsigned int) type, (long *)elements, (unsigned int) num);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createRangeSet
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeSet
- (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
-{
- return (jlong)createRangeSet((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createRangeVar
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeVar
- (JNIEnv *env, jobject obj, jlong solver, jint type, jlong lowrange, jlong highrange)
-{
- return (jlong)createRangeVar((void *)solver,(unsigned int) type, (long) lowrange, (long) highrange);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createMutableSet
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createMutableSet
- (JNIEnv *env, jobject obj, jlong solver, jint type)
-{
- return (jlong)createMutableSet((void *)solver,(unsigned int) type);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: addItem
- * Signature: (JJJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addItem
- (JNIEnv *env, jobject obj, jlong solver, jlong set, jlong element)
-{
- addItem((void *)solver,(void *)set, (long) element);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: finalizeMutableSet
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_finalizeMutableSet
- (JNIEnv *ev, jobject obj, jlong solver, jlong set)
-{
- finalizeMutableSet((void *)solver,(void *)set);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getElementVar
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementVar
- (JNIEnv *env, jobject obj, jlong solver, jlong set)
-{
- return (jlong) getElementVar((void *)solver,(void *)set);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getElementConst
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementConst
- (JNIEnv *env, jobject obj, jlong solver, jint type, jlong value)
-{
- return (jlong)getElementConst((void *)solver,(unsigned int) type, (long) value);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getElementRange
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementRange
- (JNIEnv *env, jobject obj, jlong solver, jlong element)
-{
- return (jlong)getElementRange ((void *)solver,(void *)element);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getBooleanVar
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getBooleanVar
- (JNIEnv *env, jobject obj, jlong solver, jint type)
-{
- return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createFunctionOperator
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createFunctionOperator
- (JNIEnv *env, jobject obj, jlong solver, jint op, jlong range, jint overflowbehavior)
-{
- return (jlong)createFunctionOperator((void *)solver,(unsigned int) op, (void *)range,(unsigned int) overflowbehavior);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createPredicateOperator
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateOperator
- (JNIEnv *env, jobject obj, jlong solver, jint op)
-{
- return (jlong)createPredicateOperator((void *)solver,(unsigned int) op);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createPredicateTable
- * Signature: (JJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateTable
- (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
-{
- return (jlong) createPredicateTable((void *)solver,(void *)table, (unsigned int) behavior);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createTable
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTable
- (JNIEnv *env, jobject obj, jlong solver, jlong range)
-{
- return (jlong)createTable((void *)solver, (void *)range);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createTableForPredicate
- * Signature: (J)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTableForPredicate
- (JNIEnv *env, jobject obj, jlong solver)
-{
- return (jlong)createTableForPredicate((void *)solver);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: addTableEntry
- * Signature: (JJJIJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addTableEntry
- (JNIEnv *env, jobject obj, jlong solver, jlong table, jlong inputs, jint inputSize, jlong result)
-{
- addTableEntry((void *)solver,(void *)table, (void *)inputs, (unsigned int) inputSize, (long) result);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: completeTable
- * Signature: (JJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_completeTable
- (JNIEnv *env, jobject obj, jlong solver, jlong table, jint behavior)
-{
- return (jlong)completeTable((void *)solver,(void *)table, (unsigned int) behavior);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyFunction
- * Signature: (JJJIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyFunction
- (JNIEnv *env, jobject obj, jlong solver, jlong function, jlong array, jint numArrays, jlong overflowstatus)
-{
- return (jlong)applyFunction((void *)solver,(void *)function, (void **)array, (unsigned int) numArrays, (void *)overflowstatus);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyPredicateTable
- * Signature: (JJJIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicateTable
- (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs, jlong undefinedStatus)
-{
- return (jlong) applyPredicateTable((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs, (void *)undefinedStatus);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyPredicate
- * Signature: (JJJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicate
- (JNIEnv *env, jobject obj, jlong solver, jlong predicate, jlong inputs, jint numInputs)
-{
- return (jlong)applyPredicate((void *)solver,(void *)predicate, (void **)inputs, (unsigned int) numInputs);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyLogicalOperation
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperation
- (JNIEnv *env, jobject obj, jlong solver, jint op, jlong array, jint asize)
-{
- return (jlong)applyLogicalOperation((void *)solver,(unsigned int) op, (void *)array, (unsigned int) asize);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyLogicalOperationTwo
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationTwo
- (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg1, jlong arg2)
-{
- return (jlong) applyLogicalOperationTwo((void *)solver,(unsigned int) op, (void *)arg1, (void *)arg2);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: applyLogicalOperationOne
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationOne
- (JNIEnv *env, jobject obj, jlong solver, jint op, jlong arg)
-{
- return (jlong)applyLogicalOperationOne((void *)solver,(unsigned int) op, (void *)arg);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: addConstraint
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addConstraint
- (JNIEnv *env, jobject obj, jlong solver, jlong constraint)
-{
- addConstraint((void *)solver,(void *)constraint);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: createOrder
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createOrder
- (JNIEnv *env, jobject obj, jlong solver, jint type, jlong set)
-{
- return (jlong)createOrder((void *)solver,(unsigned int) type, (void *)set);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: orderConstraint
- * Signature: (JJJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_orderConstraint
- (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
-{
- return (jlong)orderConstraint((void *)solver,(void *)order, (long) first, (long) second);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: solve
- * Signature: (J)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_solve
- (JNIEnv *env, jobject obj, jlong solver)
-{
- return (jint) solve((void *)solver);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getElementValue
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementValue
- (JNIEnv *env, jobject obj, jlong solver, jlong element)
-{
- return (jlong) getElementValue((void *)solver,(void *)element);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getBooleanValue
- * Signature: (JJ)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getBooleanValue
- (JNIEnv *env, jobject obj, jlong solver, jlong boolean)
-{
- return (jint) getBooleanValue((void *)solver, (void *)boolean);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: getOrderConstraintValue
- * Signature: (JJJJ)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getOrderConstraintValue
- (JNIEnv *env, jobject obj, jlong solver, jlong order, jlong first, jlong second)
-{
- return (jint) getOrderConstraintValue((void *)solver,(void *)order, (long) first, (long) second);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: printConstraints
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_printConstraints
- (JNIEnv *env, jobject obj, jlong solver)
-{
- printConstraints((void *)solver);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: serialize
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_serialize
- (JNIEnv *env, jobject obj, jlong solver)
-{
- serialize((void *)solver);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: mustHaveValue
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_mustHaveValue
- (JNIEnv *env, jobject obj, jlong solver, jlong element)
-{
- mustHaveValue((void *)solver, (void *)element);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: setInterpreter
- * Signature: (JI)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_setInterpreter
- (JNIEnv *env, jobject obj, jlong solver, jint type)
-{
- setInterpreter((void *)solver, (unsigned int) type);
-}
-
-/*
- * Class: SatuneJavaAPI
- * Method: clone
- * Signature: (J)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_clone
- (JNIEnv *env, jobject obj, jlong solver)
-{
- return (jlong)clone((void *)solver);
-}
-
projects / satune.git / blobdiff