de.learnlib.algorithms.adt.config.model
Interfaces
ADSCalculator
DefensiveADSCalculator