From: Pongstorn Maidee (maid0013_at_umn.edu)
Date: Mon Dec 11 2006 - 21:59:12 MST
I'm using CUDD as a black box. In my application, I initialize and quit CUDD
several times. If the result of Cudd_CheckZeroRef before quiting is not zero,
is there any effect to the later CUDD usage? If so, what would it be?
Thanks a lot,
This archive was generated by hypermail 2.1.7 : Mon Dec 11 2006 - 22:10:10 MST