YAMTL solution to the TTC 2019 TT2BDD case

In this paper, we present a solution for the TTC’19 TT2BDD case [GDH19], where a set of boolean functionsrepresented in a truth table with several input ports and several output ports is to be represented using binarydecision diagrams (BDDs) [Bry86]. Our solution1is implemented using YAMTL [Bor18], an internal DSL ofXtend2that enables the use of model-to-model transformation within JVM programs, and produces a targetmodel containing one reduced ordered BDD (ROBDD) [Bry86, Bry92] per boolean function3, whose signature isgiven by the input ports and by one output port in the source truth table. In the rest of the paper, we discussrelevant aspects of our solution and we evaluate it according to the criteria proposed in the case.