Package jdd.bdd.sets

set representations using BDDs

PACKAGE STATE: alpha

See: Description

Class Summary

Class	Description
BDDSet	BDD representation of a set (of a product of few small subsets)
BDDSetEnumeration	Enumerator for the BDD-sets.
BDDUniverse	Universe class for the BDD sets

Package jdd.bdd.sets Description

set representations using BDDs

PACKAGE STATE: alpha