Uses of Interface
org.oristool.analyzer.log.AnalysisLogger
Packages that use AnalysisLogger
Package
Description
Provides logging and monitoring utilities.
Analysis of GSPNs.
Analysis of Markov chains.
Reachability analysis in GSPNs.
Analysis of MRPs under enabling restriction.
Steady-state analysis of MRPs.
Transient analysis of MRPs and GSMPs.
Analysis of TPNs.
Simulator framework.
-
Uses of AnalysisLogger in org.oristool.analyzer.log
Classes in org.oristool.analyzer.log that implement AnalysisLoggerModifier and TypeClassDescriptionenum
Logger discarding its input.class
Analysis logger printing to stdout. -
Uses of AnalysisLogger in org.oristool.models.gspn
Methods in org.oristool.models.gspn that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
GSPNSteadyState.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
GSPNTransient.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.gspn with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract GSPNSteadyState.Builder
GSPNSteadyState.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract GSPNTransient.Builder
GSPNTransient.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.gspn.chains
Methods in org.oristool.models.gspn.chains that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
CTMCStationary.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
CTMCTransient.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
DTMCStationary.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.gspn.chains with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract CTMCStationary.Builder<M,
S> CTMCStationary.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract CTMCTransient.Builder<M,
S> CTMCTransient.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract DTMCStationary.Builder<S>
DTMCStationary.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.gspn.reachability
Methods in org.oristool.models.gspn.reachability that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
GSPNReachability.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.gspn.reachability with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract GSPNReachability.Builder
GSPNReachability.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.stpn.onegen
Methods in org.oristool.models.stpn.onegen that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
OneGenTransient.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.stpn.onegen with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract OneGenTransient.Builder
OneGenTransient.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.stpn.steady
Methods in org.oristool.models.stpn.steady that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
RegSteadyState.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.stpn.steady with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract RegSteadyState.Builder
RegSteadyState.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.stpn.trans
Methods in org.oristool.models.stpn.trans that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
RegTransient.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
TreeTransient.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.stpn.trans with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract RegTransient.Builder
RegTransient.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract TreeTransient.Builder
TreeTransient.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.models.tpn
Methods in org.oristool.models.tpn that return AnalysisLoggerModifier and TypeMethodDescriptionabstract AnalysisLogger
TimedAnalysis.logger()
Returns the logger used by this analysis.Methods in org.oristool.models.tpn with parameters of type AnalysisLoggerModifier and TypeMethodDescriptionabstract TimedAnalysis.Builder
TimedAnalysis.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.simulator
Constructors in org.oristool.simulator with parameters of type AnalysisLoggerModifierConstructorDescriptionSequencer
(PetriNet net, Marking initialMarking, SimulatorComponentsFactory<PetriNet, Transition> componentsFactory, AnalysisLogger logger) Builds a new instance for a given Petri net and initial marking.