laas.aadl.aadl2gspn

Class ToDisjunctiveNormalForm