Package | Description |
---|---|
de.learnlib.algorithms.adt.config.model.calculator | |
de.learnlib.algorithms.adt.config.model.replacer |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCalculator |
class |
BestEffortCalculator |
class |
MinLengthCalculator |
class |
MinSizeCalculator |
Constructor and Description |
---|
ExhaustiveReplacer(ADSCalculator adsProvider) |
LevelOrderReplacer(ADSCalculator adsProvider) |
SingleReplacer(ADSCalculator adsProvider) |
Copyright © 2018. All rights reserved.