Package de.learnlib.logging

Class Summary

Class	Description
LearnLogger	LearnLib specific logger.
LearnLogRecord
LLConsoleFormatter	Extends SimpleFormatter to include categories in output.
PlottableLogRecord	LogRecord with a piece of plottable data.
StatisticLogRecord

Enum Summary

Enum	Description
Category	Categories for filter.