From 56d5739b06d50fca59e3a596c13ac1320f8ca3a5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 26 Oct 2015 00:06:25 +0000 Subject: [PATCH] Missing header file commits for r10829. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10834 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/NDSparseMatrix.h | 8 ++++++++ prism/include/PrismSparse.h | 4 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/prism/include/NDSparseMatrix.h b/prism/include/NDSparseMatrix.h index d31ffd5a..bd16afdd 100644 --- a/prism/include/NDSparseMatrix.h +++ b/prism/include/NDSparseMatrix.h @@ -31,6 +31,14 @@ JNIEXPORT jlong JNICALL Java_sparse_NDSparseMatrix_PS_1BuildNDSparseMatrix JNIEXPORT jlong JNICALL Java_sparse_NDSparseMatrix_PS_1BuildSubNDSparseMatrix (JNIEnv *, jclass, jlong, jlong, jlong, jint, jlong, jint, jlong, jint, jlong); +/* + * Class: sparse_NDSparseMatrix + * Method: PS_AddActionsToNDSparseMatrix + * Signature: (JJJJIJIJIJ)V + */ +JNIEXPORT void JNICALL Java_sparse_NDSparseMatrix_PS_1AddActionsToNDSparseMatrix + (JNIEnv *, jclass, jlong, jlong, jlong, jlong, jint, jlong, jint, jlong, jint, jlong); + /* * Class: sparse_NDSparseMatrix * Method: PS_DeleteNDSparseMatrix diff --git a/prism/include/PrismSparse.h b/prism/include/PrismSparse.h index 60fadd75..aaab1454 100644 --- a/prism/include/PrismSparse.h +++ b/prism/include/PrismSparse.h @@ -138,10 +138,10 @@ JNIEXPORT jlong JNICALL Java_sparse_PrismSparse_PS_1NondetReachReward /* * Class: sparse_PrismSparse * Method: PS_NondetMultiObj - * Signature: (JJIJIJIZJJJ[J[I[J[D[I)[D + * Signature: (JJIJIJIZJJJLjava/util/List;[J[I[J[D[I)[D */ JNIEXPORT jdoubleArray JNICALL Java_sparse_PrismSparse_PS_1NondetMultiObj - (JNIEnv *, jclass, jlong, jlong, jint, jlong, jint, jlong, jint, jboolean, jlong, jlong, jlong, jlongArray, jintArray, jlongArray, jdoubleArray, jintArray); + (JNIEnv *, jclass, jlong, jlong, jint, jlong, jint, jlong, jint, jboolean, jlong, jlong, jlong, jobject, jlongArray, jintArray, jlongArray, jdoubleArray, jintArray); /* * Class: sparse_PrismSparse