Abstract: If-then-else (ite) functor is the core of constructing binary decision diagram (BDD) for a Boolean function-This paper discusses how to express the fundamental operations of Boolean function in ite functor, and how to construct BDD utilizing ite functor. Meanwhile, some methods, such as memory function, hash table, complement attributed edge, are used to improve the efficiency of the package.