Multi-Set Decisions Diagrams
Lucio Levi, Steve Hostettler · 2009
Data Decisions Diagrams (DDD) and Set Decisions Diagrams (SDD) are powerfull tools to encode set of sequences of assignements. However, they represent the existence (or absence) of a particular sequence of assignements not its cardinality. Namely, if we consider Decisions Diagrams as functions, their co-domain would be Booleans. We propose to extend the definition of Data Decisions Diagrams and Set Decisions Diagrams to other co-domains such as natural or real numbers, in order to express cardinalities or probabilities. Similar works have been done for Binary Decision Diagrams (MTBDD) and for Multiway Decision Diagrams (MTMDD). Multi-Set Decisions Diagrams