Package de.learnlib.algorithms.lstargeneric.closing

Interface Summary

Interface	Description
ClosingStrategy<I,O>	A closing strategy, determining how to proceed when an observation table needs to be closed.

Class Summary

Class	Description
CloseRandomStrategy
ClosingStrategies	Collection of predefined observation table closing strategies.