Module zdd::factory

ZDD factory.

Everything is hashconsed, so in the end all operations are performed through a factory. It contains the hash cons table and the cash for the most common operations.

One should never create more than one factory for a given element type.

Structs

Factory	A ZDD factory.
FactoryBuilder	A factory for Factory to set the capacity of the consign and the caches.

Traits

FactoryBinOps	Binary operations on ZDDs.
FactoryUnLblOps	Unary operations on ZDDs taking a label as parameter.
FactoryUnOps	Unary operations on ZDDs.
ZddMaker	Provides safe node creation.