Package de.learnlib.algorithm.observationpack.vpa.hypothesis