对BDD作了很详细的介绍