(no subject)

From: Pongstorn Maidee (maid0013_at_umn.edu)
Date: Mon Dec 11 2006 - 21:59:12 MST

• Next message: gepolv: "i made a tool that transforms blifmv 2 blif"
• Previous message: Fabio Somenzi: "Re: BDD node behaviour"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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,

Pongstorn

• Next message: gepolv: "i made a tool that transforms blifmv 2 blif"
• Previous message: Fabio Somenzi: "Re: BDD node behaviour"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Dec 11 2006 - 22:10:10 MST