What Is A Binary Decision Diagram