예제 #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));
}