Package de.learnlib.algorithm.adt.config

Class Summary

Class	Description
ADTExtenders	A collection of default ADTExtender configurations.
LeafSplitters	A collection of default LeafSplitter configurations.
SubtreeReplacers	A collection of default SubtreeReplacer configurations.