tree aad3f1e9de587582da1f304a8cfce6e9b487ddd5
parent 353ba7d745c37a73fa98608974e4c4ffcfc0f28c
author margaretha <margaretha@ids-mannheim.de> 1494348108 +0200
committer margaretha <margaretha@ids-mannheim.de> 1494348108 +0200

Updated dominance with type and label serialization.

Change-Id: I685ae7f8723ee6c87531665a035cd53b43de257a