Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bdd.h
Find file
Blame
History
Permalink
* src/bdd.h: Declare bdd_copypair().
· ed8ae1ed
Alexandre Duret-Lutz
authored
May 19, 2003
* src/pairs.c (bdd_copypair, bdd_pairalloc): New functions. (bdd_newpair): Use bdd_pairalloc.
ed8ae1ed