public class ConfigExample extends Object
We will time the Adder example under different configurations. The result will hopefully convince you that for good performance, you must tune the BDD package for the specific type of problem you are working with.
Configuration,
Adder| Constructor and Description |
|---|
ConfigExample() |
public static void main(String[] args)
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.