Class MinSizeCalculator
- java.lang.Object
-
- de.learnlib.algorithm.adt.config.model.calculator.AbstractCalculator
-
- de.learnlib.algorithm.adt.config.model.calculator.MinSizeCalculator
-
- All Implemented Interfaces:
ADSCalculator
public class MinSizeCalculator extends AbstractCalculator
-
-
Constructor Summary
Constructors Constructor Description MinSizeCalculator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <S,I,O>
Optional<ADSNode<S,I,O>>computeInternal(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> alphabet, Set<S> targets)
-
Methods inherited from class de.learnlib.algorithm.adt.config.model.calculator.AbstractCalculator
compute
-
-
-
-
Method Detail
-
computeInternal
public <S,I,O> Optional<ADSNode<S,I,O>> computeInternal(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> alphabet, Set<S> targets)
- Specified by:
computeInternal
in classAbstractCalculator
-
-