The dissertation introduces the basic concept, advantages and development directions of BDD, summarize the design algorithm, advantages and behaviors of un-quoting domain BDD, also improve the structure s function.
本文介绍了BDD的基本概念、优势及发展方向，总结了无引用计数域的BDD包的设计思路、优势和特点，并对其中一些没有完成的功能进行设计完善。
