Code Generation from Decision Diagrams

To appear…