Package edu.toronto.cs.mvset

Provides several symbolic implementations of multi-valued sets

See:
          Description

Interface Summary
MvRelation A generic transformer for backward (pre) and forward (post) iterations.
MvSet A generic interface to represent a multi-valued set (mv-set)
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
SeqMvRelation Sequential composition of two relations Created: Fri Jun 10 11:12:12 2005
 

Package edu.toronto.cs.mvset Description

Provides several symbolic implementations of multi-valued sets