C++ (Cpp) sylvan_fprintdotの例

コード例 #1

ファイル: jsylvan.c プロジェクト: utwente-fmt/jsylvan

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);
}

コード例 #2

ファイル: vset_sylvan.c プロジェクト: graydon/ltsmin

static void
rel_dot(FILE* fp, vrel_t src)
{
    sylvan_fprintdot(fp, src->bdd);
}

コード例 #3

ファイル: vset_sylvan.c プロジェクト: graydon/ltsmin

static void
set_dot(FILE* fp, vset_t src)
{
    sylvan_fprintdot(fp, src->bdd);
}