MDD manipulation toolkit 0.4.1 API

Packages

Package	Description
org.colomoto.mddlib	Simple Multi-valued Decision Diagram (MDD) toolkit.
org.colomoto.mddlib.internal	Implementation details for the interfaces in org.colomoto.mddlib
org.colomoto.mddlib.logicalfunction	MDD-aware data-structure for logical functions.
org.colomoto.mddlib.logicalfunction.operators	implementation of some basic operators for logical functions.
org.colomoto.mddlib.operators	Default implementations of MDDOperator