de.learnlib.algorithms.lstar.closing

Interfaces

• ClosingStrategy

Classes

• CloseRandomStrategy
• ClosingStrategies