de.learnlib.algorithms.lstargeneric.closing
Interfaces
ClosingStrategy
Classes
CloseRandomStrategy
ClosingStrategies