|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
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.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |