From 3982420c3d5dd989674895a95ecc094460285de3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 21 Feb 2012 12:38:59 +0000 Subject: [PATCH] Utility method in ODDUtils for finding index of first state in a BDD. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4677 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/ODDUtils.h | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/include/ODDUtils.h b/prism/include/ODDUtils.h index 8d2c526f..7fbf14a5 100644 --- a/prism/include/ODDUtils.h +++ b/prism/include/ODDUtils.h @@ -31,6 +31,14 @@ JNIEXPORT jlong JNICALL Java_odd_ODDUtils_ODD_1BuildODD JNIEXPORT jint JNICALL Java_odd_ODDUtils_ODD_1GetNumODDNodes (JNIEnv *, jclass); +/* + * Class: odd_ODDUtils + * Method: ODD_GetIndexOfFirstFromDD + * Signature: (JJJI)I + */ +JNIEXPORT jint JNICALL Java_odd_ODDUtils_ODD_1GetIndexOfFirstFromDD + (JNIEnv *, jclass, jlong, jlong, jlong, jint); + /* * Class: odd_ODDUtils * Method: ODD_GetTOff