decision diagram