Uses of Interface
de.learnlib.algorithms.adt.config.model.DefensiveADSCalculator

Packages that use DefensiveADSCalculator

Package	Description
de.learnlib.algorithms.adt.config.model.calculator
de.learnlib.algorithms.adt.config.model.extender

Uses of DefensiveADSCalculator in de.learnlib.algorithms.adt.config.model.calculator

Classes in de.learnlib.algorithms.adt.config.model.calculator that implement DefensiveADSCalculator

Modifier and Type	Class and Description
class	BestEffortDefensiveCalculator

Uses of DefensiveADSCalculator in de.learnlib.algorithms.adt.config.model.extender

Constructors in de.learnlib.algorithms.adt.config.model.extender with parameters of type DefensiveADSCalculator

Constructor and Description
DefaultExtender(DefensiveADSCalculator adsCalculator)