C++ (Cpp) sylvan_nodecount Exemples

Exemple #1

Fichier : vset_sylvan.c Projet : graydon/ltsmin

static void
rel_count(vrel_t rel, long *nodes, bn_int_t *elements)
{
    LACE_ME;
    if (nodes != NULL) *nodes = sylvan_nodecount(rel->bdd);
    if (elements != NULL) bn_double2int((double)sylvan_satcount(rel->bdd, rel->all_variables), elements);
}

Exemple #2

Fichier : vset_sylvan.c Projet : graydon/ltsmin

static void
set_count(vset_t set, long *nodes, bn_int_t *elements) 
{
    LACE_ME;
    if (nodes != NULL) *nodes = sylvan_nodecount(set->bdd);
    if (elements != NULL) bn_double2int((double)sylvan_satcount(set->bdd, set->variables), elements);
}

Exemple #3

Fichier : jsylvan.c Projet : utwente-fmt/jsylvan

JNIEXPORT jlong JNICALL
Java_jsylvan_JSylvan_nodecount(JNIEnv *env, jclass cl, jlong bdd)
{
    LACE_ME;
    return sylvan_nodecount(bdd); // note: unsigned/signed mismatch...
}