Uses of Class
de.learnlib.algorithm.ostia.State