/* DO NOT EDIT THIS FILE - it is machine generated */
#include "satune_SatuneJavaAPI.h"
#include "ccsolver.h"
-#define CCSOLVER(solver) (void*)solver
+#define CCSOLVER(solver) (void *)solver
/* Header for class SatuneJavaAPI */
/*
(JNIEnv *env, jobject obj)
{
return (jlong)createCCSolver();
-
+
}
/*
* Signature: (JI)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanTrue
- (JNIEnv * env, jobject obj, jlong solver)
+ (JNIEnv *env, jobject obj, jlong solver)
{
return (jlong)getBooleanTrue((void *)solver);
}
* Signature: (JI)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getBooleanFalse
- (JNIEnv * env, jobject obj, jlong solver)
+ (JNIEnv *env, jobject obj, jlong solver)
{
return (jlong)getBooleanFalse((void *)solver);
}