Пример #1
0
void _deletebddpair(value v) {
    bddPair* x = BDDPAIR_val(v);
    bdd_freepair(x);
}
Пример #2
0
Файл: muddy.c Проект: Armael/HOL 
void mlbdd_pair_finalize(value pairset)
{
  bdd_freepair(PairSet_val(pairset));
}