Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.sf.javabdd.* (11)

Package Samples:

org.sf.javabdd

Classes:

CUDDFactory: An implementation of BDDFactory that relies on the CUDD library through a native interface. You can use this by calling the "CUDDFactory.init()" method with the desired arguments. This will return you an instance of the BDDFactory class that you can use. Call "done()" on that instance when you are finished. CUDD does not have much of the functionality that BuDDy has, and it has not been well-tested. Furthermore, it is slower than BuDDy. Therefore, it is recommended that you use the BuDDy library instead. This class (and the CUDD library) do NOT support multithreading. Furthermore, there can be ...
BuDDyFactory: An implementation of BDDFactory that relies on the BuDDy library through a native interface. You can use this by calling the "BuDDyFactory.init()" method with the desired arguments. This will return you an instance of the BDDFactory class that you can use. Call "done()" on that instance when you are finished. This class (and the BuDDy library) do NOT support multithreading. Furthermore, there can be only one instance active at a time. You can only call "init()" again after you have called "done()" on the original instance. It is not recommended to call "init()" again after calling "done()" unless ...
BDD: Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems. This is done by giving a compact representation and a set of efficient operations on boolean functions f: {0,1}^n --> {0,1}. Use an implementation of BDDFactory to create BDD objects.
TestBDDFactory: This BDD factory is used to test other BDD factories. It is a wrapper around two BDD factories, and all operations are performed on both factories. It throws an exception if the results from the two implementations do not match.
JavaFactory: This is a 100% Java implementation of the BDD factory. It is based on the C source code for BuDDy. As such, the implementation is very ugly, but it works. Like BuDDy, it uses reference counting scheme for garbage collection.
TypedBDDFactory: This BDD factory keeps track of what domains each BDD uses, and complains if you try to do an operation where the domains do not match.
BDDDomain: Represents a domain of BDD variables. This is useful for finite state machines, among other things.
BDDPairing: Encodes a table of variable pairs. This is used for replacing variables in a BDD.
BDDFactory: Interface for the creation and manipulation of BDDs.
BDDException: An exception caused by an invalid BDD operation.
BDDBitVector: Bit vector implementation for BDDs.

Home | Contact Us | Privacy Policy | Terms of Service