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 | Description |
---|---|
Category |
Categories for filter.
|
Copyright © 2015. All rights reserved.