From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 19 Mar 2019 01:02:56 +0000 (-0700)
Subject: Adding more functions to C API
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=4fd5cd60484d477ef7110813d8206325f75822ea;p=satune.git

Adding more functions to C API
---

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 8eb786d..05f66a3 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -10,6 +10,10 @@ void deleteCCSolver(void *solver) {
 	delete CCSOLVER(solver);
 }
 
+void resetCCSolver(void *solver) {
+	CCSOLVER(solver)->resetSolver();
+}
+
 void *createSet(void *solver,unsigned int type, long *elements, unsigned int num) {
 	return CCSOLVER(solver)->createSet((VarType) type, (uint64_t *)elements, (uint) num);
 }
@@ -50,6 +54,14 @@ void *getBooleanVar(void *solver,unsigned int type) {
 	return CCSOLVER(solver)->getBooleanVar((VarType) type).getRaw();
 }
 
+void *getBooleanTrue(void *solver){
+	return CCSOLVER(solver)->getBooleanTrue().getRaw();
+}
+
+void *getBooleanFalse(void *solver){
+	return CCSOLVER(solver)->getBooleanFalse().getRaw();
+}
+
 void *createFunctionOperator(void *solver,unsigned int op, void *range,unsigned int overflowbehavior) {
 	return CCSOLVER(solver)->createFunctionOperator((ArithOp) op, (Set *)range, (OverFlowBehavior) overflowbehavior);
 }
@@ -106,6 +118,10 @@ void addConstraint(void *solver,void *constraint) {
 	CCSOLVER(solver)->addConstraint(BooleanEdge((Boolean *) constraint));
 }
 
+void printConstraint(void *solver,void *constraint) {
+	CCSOLVER(solver)->printConstraint(BooleanEdge((Boolean *) constraint));
+}
+
 void *createOrder(void *solver,unsigned int type, void *set) {
 	return CCSOLVER(solver)->createOrder((OrderType) type, (Set *)set);
 }
diff --git a/src/ccsolver.h b/src/ccsolver.h
index b10fa71..c668fbc 100644
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -8,6 +8,7 @@ extern "C" {
 #endif
 void *createCCSolver();
 void deleteCCSolver(void *solver);
+void resetCCSolver(void *solver);
 void *createSet(void *solver,unsigned int type, long *elements, unsigned int num);
 void *createRangeSet(void *solver,unsigned int type, long lowrange, long highrange);
 void *createRangeVar(void *solver,unsigned int type, long lowrange, long highrange);
@@ -18,6 +19,8 @@ void *getElementVar(void *solver,void *set);
 void *getElementConst(void *solver,unsigned int type, long value);
 void *getElementRange (void *solver,void *element);
 void *getBooleanVar(void *solver,unsigned int type);
+void *getBooleanTrue(void *solver);
+void *getBooleanFalse(void *solver);
 void *createFunctionOperator(void *solver,unsigned int op, void *range,unsigned int overflowbehavior);
 void *createPredicateOperator(void *solver,unsigned int op);
 void *createPredicateTable(void *solver,void *table, unsigned int behavior);
@@ -32,6 +35,7 @@ void *applyLogicalOperation(void *solver,unsigned int op, void *array, unsigned
 void *applyLogicalOperationTwo(void *solver,unsigned int op, void *arg1, void *arg2);
 void *applyLogicalOperationOne(void *solver,unsigned int op, void *arg);
 void addConstraint(void *solver,void *constraint);
+void printConstraint(void *solver,void *constraint);
 void *createOrder(void *solver,unsigned int type, void *set);
 void *orderConstraint(void *solver,void *order, long first, long second);
 int solve(void *solver);
diff --git a/src/satunejavaapi.cc b/src/satunejavaapi.cc
deleted file mode 100644
index c51492b..0000000
--- a/src/satunejavaapi.cc
+++ /dev/null
@@ -1,415 +0,0 @@
-/* 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);
-}
-
diff --git a/src/satunejavaapi.h b/src/satunejavaapi.h
deleted file mode 100644
index fd5ed68..0000000
--- a/src/satunejavaapi.h
+++ /dev/null
@@ -1,309 +0,0 @@
-/* DO NOT EDIT THIS FILE - it is machine generated */
-#include <jni.h>
-/* Header for class SatuneJavaAPI */
-
-#ifndef _Included_SatuneJavaAPI
-#define _Included_SatuneJavaAPI
-#ifdef __cplusplus
-extern "C" {
-#endif
-/*
- * Class:     SatuneJavaAPI
- * Method:    createCCSolver
- * Signature: ()J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createCCSolver
-  (JNIEnv *, jobject);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    deleteCCSolver
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_deleteCCSolver
-  (JNIEnv *, jobject, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createSet
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createSet
-  (JNIEnv *, jobject, jlong, jint, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createRangeSet
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeSet
-  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createRangeVar
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createRangeVar
-  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createMutableSet
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createMutableSet
-  (JNIEnv *, jobject, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    addItem
- * Signature: (JJJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addItem
-  (JNIEnv *, jobject, jlong, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    finalizeMutableSet
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_finalizeMutableSet
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getElementVar
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementVar
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getElementConst
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementConst
-  (JNIEnv *, jobject, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getElementRange
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementRange
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getBooleanVar
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getBooleanVar
-  (JNIEnv *, jobject, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createFunctionOperator
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createFunctionOperator
-  (JNIEnv *, jobject, jlong, jint, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createPredicateOperator
- * Signature: (JI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateOperator
-  (JNIEnv *, jobject, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createPredicateTable
- * Signature: (JJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createPredicateTable
-  (JNIEnv *, jobject, jlong, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createTable
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTable
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createTableForPredicate
- * Signature: (J)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createTableForPredicate
-  (JNIEnv *, jobject, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    addTableEntry
- * Signature: (JJJIJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addTableEntry
-  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    completeTable
- * Signature: (JJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_completeTable
-  (JNIEnv *, jobject, jlong, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyFunction
- * Signature: (JJJIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyFunction
-  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyPredicateTable
- * Signature: (JJJIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicateTable
-  (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyPredicate
- * Signature: (JJJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyPredicate
-  (JNIEnv *, jobject, jlong, jlong, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyLogicalOperation
- * Signature: (JIJI)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperation
-  (JNIEnv *, jobject, jlong, jint, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyLogicalOperationTwo
- * Signature: (JIJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationTwo
-  (JNIEnv *, jobject, jlong, jint, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    applyLogicalOperationOne
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_applyLogicalOperationOne
-  (JNIEnv *, jobject, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    addConstraint
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_addConstraint
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    createOrder
- * Signature: (JIJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_createOrder
-  (JNIEnv *, jobject, jlong, jint, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    orderConstraint
- * Signature: (JJJJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_orderConstraint
-  (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    solve
- * Signature: (J)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_solve
-  (JNIEnv *, jobject, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getElementValue
- * Signature: (JJ)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_getElementValue
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getBooleanValue
- * Signature: (JJ)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getBooleanValue
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    getOrderConstraintValue
- * Signature: (JJJJ)I
- */
-JNIEXPORT jint JNICALL Java_SatuneJavaAPI_getOrderConstraintValue
-  (JNIEnv *, jobject, jlong, jlong, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    printConstraints
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_printConstraints
-  (JNIEnv *, jobject, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    serialize
- * Signature: (J)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_serialize
-  (JNIEnv *, jobject, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    mustHaveValue
- * Signature: (JJ)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_mustHaveValue
-  (JNIEnv *, jobject, jlong, jlong);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    setInterpreter
- * Signature: (JI)V
- */
-JNIEXPORT void JNICALL Java_SatuneJavaAPI_setInterpreter
-  (JNIEnv *, jobject, jlong, jint);
-
-/*
- * Class:     SatuneJavaAPI
- * Method:    clone
- * Signature: (J)J
- */
-JNIEXPORT jlong JNICALL Java_SatuneJavaAPI_clone
-  (JNIEnv *, jobject, jlong);
-
-#ifdef __cplusplus
-}
-#endif
-#endif