Uses of Class
de.learnlib.algorithm.lsharp.Rule3