From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 19 Mar 2019 01:10:31 +0000 (-0700)
Subject: Java API for SATUNE
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=8b4305d89bd420fa061f9a40ff813ec0ba6fb9fe

Java API for SATUNE
---

diff --git a/src/satune_SatuneJavaAPI.cc b/src/satune_SatuneJavaAPI.cc
new file mode 100644
index 0000000..65d316a
--- /dev/null
+++ b/src/satune_SatuneJavaAPI.cc
@@ -0,0 +1,460 @@
+/* DO NOT EDIT THIS FILE - it is machine generated */
+#include "satune_SatuneJavaAPI.h"
+#include "ccsolver.h"
+#define CCSOLVER(solver) (void*)solver
+/* Header for class SatuneJavaAPI */
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    createCCSolver
+ * Signature: ()J
+ */
+
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createCCSolver
+	(JNIEnv *env, jobject obj)
+{
+	return (jlong)createCCSolver();
+	
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    deleteCCSolver
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_deleteCCSolver
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	deleteCCSolver(CCSOLVER(solver));
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    resetCCSolver
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	resetCCSolver(CCSOLVER(solver));
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    createSet
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_SatuneJavaAPI_getBooleanVar
+	(JNIEnv *env, jobject obj, jlong solver, jint type)
+{
+	return (jlong)getBooleanVar((void *)solver,(unsigned int) type);
+}
+
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    getBooleanVar
+ * Signature: (JI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
+	(JNIEnv * env, jobject obj, jlong solver)
+{
+	return (jlong)getBooleanTrue((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    getBooleanVar
+ * Signature: (JI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
+	(JNIEnv * env, jobject obj, jlong solver)
+{
+	return (jlong)getBooleanFalse((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    createFunctionOperator
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_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_satune_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_satune_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_satune_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_satune_SatuneJavaAPI_createTableForPredicate
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	return (jlong)createTableForPredicate((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    addTableEntry
+ * Signature: (JJJIJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_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_satune_SatuneJavaAPI_addConstraint
+	(JNIEnv *env, jobject obj, jlong solver, jlong constraint)
+{
+	addConstraint((void *)solver,(void *)constraint);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    printConstraint
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
+	(JNIEnv *env, jobject obj, jlong solver, jlong constraint)
+{
+	printConstraint((void *)solver,(void *)constraint);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    createOrder
+ * Signature: (JIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_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_satune_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_satune_SatuneJavaAPI_solve
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	return (jint) solve((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    getElementValue
+ * Signature: (JJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_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_satune_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_satune_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_satune_SatuneJavaAPI_printConstraints
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	printConstraints((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    serialize
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	serialize((void *)solver);
+}
+
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    mustHaveValue
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_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_satune_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_satune_SatuneJavaAPI_clone
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	return (jlong)clone((void *)solver);
+}
+
diff --git a/src/satune_SatuneJavaAPI.h b/src/satune_SatuneJavaAPI.h
new file mode 100644
index 0000000..bde12a6
--- /dev/null
+++ b/src/satune_SatuneJavaAPI.h
@@ -0,0 +1,342 @@
+/* DO NOT EDIT THIS FILE - it is machine generated */
+#include <jni.h>
+/* Header for class satune_SatuneJavaAPI */
+
+#ifndef _Included_satune_SatuneJavaAPI
+#define _Included_satune_SatuneJavaAPI
+#ifdef __cplusplus
+extern "C" {
+#endif
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createCCSolver
+ * Signature: ()J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createCCSolver
+  (JNIEnv *, jobject);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    deleteCCSolver
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_deleteCCSolver
+  (JNIEnv *, jobject, jlong);
+
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    resetCCSolver
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_resetCCSolver
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createSet
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
+  (JNIEnv *, jobject, jlong, jint, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createRangeSet
+ * Signature: (JIJJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeSet
+  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createRangeVar
+ * Signature: (JIJJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createRangeVar
+  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createMutableSet
+ * Signature: (JI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createMutableSet
+  (JNIEnv *, jobject, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    addItem
+ * Signature: (JJJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addItem
+  (JNIEnv *, jobject, jlong, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    finalizeMutableSet
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_finalizeMutableSet
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getElementVar
+ * Signature: (JJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementVar
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getElementConst
+ * Signature: (JIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementConst
+  (JNIEnv *, jobject, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getElementRange
+ * Signature: (JJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementRange
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getBooleanVar
+ * Signature: (JI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanVar
+  (JNIEnv *, jobject, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getBooleanTrue
+ * Signature: (J)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getBooleanFalse
+ * Signature: (J)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createFunctionOperator
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createFunctionOperator
+  (JNIEnv *, jobject, jlong, jint, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createPredicateOperator
+ * Signature: (JI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateOperator
+  (JNIEnv *, jobject, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createPredicateTable
+ * Signature: (JJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createPredicateTable
+  (JNIEnv *, jobject, jlong, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createTable
+ * Signature: (JJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTable
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createTableForPredicate
+ * Signature: (J)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createTableForPredicate
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    addTableEntry
+ * Signature: (JJJIJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addTableEntry
+  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    completeTable
+ * Signature: (JJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_completeTable
+  (JNIEnv *, jobject, jlong, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyFunction
+ * Signature: (JJJIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyFunction
+  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyPredicateTable
+ * Signature: (JJJIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
+  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyPredicate
+ * Signature: (JJJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
+  (JNIEnv *, jobject, jlong, jlong, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyLogicalOperation
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
+  (JNIEnv *, jobject, jlong, jint, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyLogicalOperationTwo
+ * Signature: (JIJJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationTwo
+  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    applyLogicalOperationOne
+ * Signature: (JIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperationOne
+  (JNIEnv *, jobject, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    addConstraint
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_addConstraint
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    printConstraint
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraint
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    createOrder
+ * Signature: (JIJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createOrder
+  (JNIEnv *, jobject, jlong, jint, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    orderConstraint
+ * Signature: (JJJJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
+  (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    solve
+ * Signature: (J)I
+ */
+JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getElementValue
+ * Signature: (JJ)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getBooleanValue
+ * Signature: (JJ)I
+ */
+JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getBooleanValue
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    getOrderConstraintValue
+ * Signature: (JJJJ)I
+ */
+JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
+  (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    printConstraints
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    serialize
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serialize
+  (JNIEnv *, jobject, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    mustHaveValue
+ * Signature: (JJ)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_mustHaveValue
+  (JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    setInterpreter
+ * Signature: (JI)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_setInterpreter
+  (JNIEnv *, jobject, jlong, jint);
+
+/*
+ * Class:     satune_SatuneJavaAPI
+ * Method:    clone
+ * Signature: (J)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_clone
+  (JNIEnv *, jobject, jlong);
+
+#ifdef __cplusplus
+}
+#endif
+#endif