Package de.learnlib.algorithm.observationpack

This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.

Class Summary

Class	Description
AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP>
AbstractOPLearner.BuilderDefaults
OPLearnerState<I,D,SP,TP>	Class that contains all data that represent the internal state of the OPLearnerState learner and its DFA and Mealy implementations.