JNIEXPORT void JNICALL Java_jsylvan_JSylvan_fprintDot(JNIEnv *env, jclass cl, jstring filename, jlong bdd) { const char *path = (*env)->GetStringUTFChars(env, filename, NULL); FILE *f = fopen(path, "w"); sylvan_fprintdot(f, bdd); fclose(f); (*env)->ReleaseStringUTFChars(env, filename, path); }
static void rel_dot(FILE* fp, vrel_t src) { sylvan_fprintdot(fp, src->bdd); }
static void set_dot(FILE* fp, vset_t src) { sylvan_fprintdot(fp, src->bdd); }