Uses of Class
de.learnlib.algorithm.lambda.lstar.LLambdaMealy