Package de.learnlib.api.logging

Interface Summary

Interface	Description
LearnLogger	LearnLib specific logger.

Class Summary

Class	Description
LoggingPropertyOracle<I,A extends Output<I,D>,P,D>	A PropertyOracle that performs logging.
LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>
Slf4jDelegator	A simple LearnLogger implementation, that delegates all calls to a given Logger instance.

Enum Summary

Enum	Description
Category	Categories for markers.