Package edu.toronto.cs.mdd

A library for Multi-valued Decision Diagrams (MDDs).

See:
          Description

Interface Summary
ApplyFunctions.ApplyFunction  
ApplyFunctions.BinApplyFunction  
ApplyFunctions.QuantifyFunction  
ApplyFunctions.UnaryApplyFunction  
MDDNodeCache This interface defines a cache for MDDNode operation results.
 

Class Summary
ApplyFunctions  
ApplyFunctions.AboveFunction  
ApplyFunctions.AbstractApplyFunction  
ApplyFunctions.AlgebraFunction  
ApplyFunctions.BelnapFunction  
ApplyFunctions.BelowFunction  
ApplyFunctions.EqualsFunction  
ApplyFunctions.ImpliesFunction  
ApplyFunctions.InfoJoinFunction  
ApplyFunctions.InfoMeetFunction  
ApplyFunctions.JoinFunction  
ApplyFunctions.MeetFunction  
ApplyFunctions.NegFunction  
ApplyFunctions.TerminalBinApplyFunction  
ApplyFunctions.UniformQuantify  
MDDCacheStub  
MDDLeafNode  
MDDManager Multi-Valued Decision Diagram package add reference to authors and publications!
MDDNode an abstrct mdd node
MDDPoint This class is used to package a point, mostly needed for false points
MDDToDaVinci  
MDDTreeNode  
MDDValueCollector Given an MDDNode returns an array representing the same function
 

Package edu.toronto.cs.mdd Description

A library for Multi-valued Decision Diagrams (MDDs).

This is not the most efficient MDD library, but it is helpful for debugging and experementation. In most cases, it is not used directly, but through an MvSet interface.