JFactory is unstable after reinitialization.

Brought to you by: joewhaley

#2 JFactory is unstable after reinitialization.

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2006-11-29

Created: 2006-11-29

Private: No

Freeing a java factory and all its bdds and then initializing it again leaves the factory in an unstable state (see the attached example).

I am using javabdd-1.0b2.jar.

Andrzej Wasowski - 2006-11-29

summary: JFactory is unstable after initialization. --> JFactory is unstable after reinitialization.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: