Package | Description |
---|---|
de.learnlib.algorithms.adt.config.model.calculator | |
de.learnlib.algorithms.adt.config.model.extender |
Modifier and Type | Class and Description |
---|---|
class |
BestEffortDefensiveCalculator |
Constructor and Description |
---|
DefaultExtender(DefensiveADSCalculator adsCalculator) |
Copyright © 2018. All rights reserved.