|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
Provides several symbolic implementations of multi-valued sets
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |