Decision diagram