de.unidue.ltl.evaluation.util.convert

Classes