Esempi in C++ (Cpp) per bdd_freepair

Esempio n. 1

File: libbuddy_stubs.c Progetto: aziem/ocaml-buddy

void _deletebddpair(value v) {
    bddPair* x = BDDPAIR_val(v);
    bdd_freepair(x);
}

Esempio n. 2

File: muddy.c Progetto: Armael/HOL

void mlbdd_pair_finalize(value pairset)
{
  bdd_freepair(PairSet_val(pairset));
}