Exemplos de bdd_freepair em C++ (Cpp)

Exemplo n.º 1

Arquivo: libbuddy_stubs.c Projeto: aziem/ocaml-buddy

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

Exemplo n.º 2

Arquivo: muddy.c Projeto: Armael/HOL

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