tree 5c8058bd6699a72e33b284d6d5df4edc0116f38c
parent 1242a5e972f70634b137f45e6d8c1e8da9635b1c
author Marc Kupietz <kupietz@ids-mannheim.de> 1570390954 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1570391170 +0200

Add convenience function for conversion to ipm

Change-Id: I2b9138322558fc1a2da2f9877cefe3d2268d2412