Package org.oristool.analyzer.log

package org.oristool.analyzer.log

Provides logging and monitoring utilities.

Related Packages

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.

Class	Description
AnalysisLogger	Generic logger interface.
AnalysisMonitor	Generic monitor interface for the analysis engines.
NoOpLogger	Logger discarding its input.
NoOpMonitor	Analysis monitor that discards notifications and never requests to stop the analysis.
PrintStreamLogger	Analysis logger printing to stdout.