二叉决策图BDD原理、应用与实现的完整介绍,包括BDD到OBDD的转化、OBDD到ROBDD的转化,以及BDD的C++语言实现库buddy的内部原理介绍