Class Hierarchy
- java.lang.Object
- de.learnlib.algorithm.lstar.closing.CloseRandomStrategy (implements de.learnlib.algorithm.lstar.closing.ClosingStrategy<I,D>)
- de.learnlib.algorithm.lstar.closing.ClosingStrategies
Interface Hierarchy
- de.learnlib.algorithm.lstar.closing.ClosingStrategy<I,D>