Package de.learnlib.algorithms.lstar.closing

Interface Summary

Interface	Description
ClosingStrategy<I,D>	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.