Uses of Interface
org.colomoto.mddlib.MDDComparator

Packages that use MDDComparator

Package	Description
org.colomoto.mddlib	Simple Multi-valued Decision Diagram (MDD) toolkit.

Uses of MDDComparator in org.colomoto.mddlib

Methods in org.colomoto.mddlib that return MDDComparator

Modifier and Type	Method and Description
static MDDComparator	MDDComparatorFactory.getComparator(MDDManager ddm1, MDDManager ddm2) Get a comparator for the two specified MDDManagers.