Uses of Package
net.sf.javabdd

Classes in net.sf.javabdd used by net.sf.javabdd
BDD
          Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
BDD.BDDIterator
          BDDIterator is used to iterate through the satisfying assignments of a BDD.
BDD.BDDToString
          BDDToString is used to specify the printing behavior of BDDs with domains.
BDDBitVector
          Bit vector implementation for BDDs.
BDDDomain
          Represents a domain of BDD variables.
BDDFactory
          Interface for the creation and manipulation of BDDs.
BDDFactory.BDDOp
          Enumeration class for binary operations on BDDs.
BDDFactory.CacheStats
          Stores statistics about the operator cache.
BDDFactory.GCStats
          Stores statistics about garbage collections.
BDDFactory.LoadHash
          LoadHash is used to hash during loading.
BDDFactory.ReorderMethod
          Enumeration class for method reordering techniques.
BDDPairing
          Encodes a table of variable pairs.
HijackingClassLoader
          A special classloader that allows you to hijack all of the classes and load them from your list of URLs.
JFactory
          This is a 100% Java implementation of the BDD factory.
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.