Uses of Class
com.github.javabdd.BDDFactoryIntImpl

Uses of BDDFactoryIntImpl in com.github.javabdd

Subclasses of BDDFactoryIntImpl in com.github.javabdd

Modifier and Type	Class and Description
class	JFactory This is a 100% Java implementation of the BDD factory.
class	MicroFactory BDD factory where each node only takes 16 bytes.
class	UberMicroFactory BDD factory where each node only takes 16 bytes.