de.learnlib.algorithms.adt.config.model.extender
Classes
DefaultExtender