Package edu.toronto.cs.mvset

Interface Summary
MvRelation MvRelation.java Created: Thu Jun 10 22:56:31 2004
MvSet This is a generic interface that represents an mvset.
MvSetFactory A factory to produce MvSets
 

Class Summary
AbstractMvSet  
AbstractMvSetFactory  
CUADDMvSetFactory Implementation of an MvSet based on the CUADD library
JADDMvSetFactory Implementation of an MvSet based on the MDD library
JCUDDBelnapMvSetFactory Implementation of an MvSet based on the JCUDDBelnap library
JCUDDMvSetFactory Implementation of an MvSet based on the JCUDD library
MDDMvSetFactory Implementation of an MvSet based on the MDD library
MvSetCatalog This some how keeps a list of all MvSet implementation we have with their names and maybe some help messages/pictures/etc.
MvSetMvRelation MvSetMvRelation.java Created: Thu Jun 10 22:57:42 2004