Uses of Interface
org.oristool.analyzer.log.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
Modifier and TypeClassDescriptionenum
Logger discarding its input.class
Analysis logger printing to stdout. -
Uses of AnalysisLogger in org.oristool.models.gspn
Modifier and TypeMethodDescriptionabstract AnalysisLogger
GSPNSteadyState.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
GSPNTransient.logger()
Returns the logger used by this analysis.Modifier 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
Modifier 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.Modifier 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
Modifier and TypeMethodDescriptionabstract AnalysisLogger
GSPNReachability.logger()
Returns the logger used by this analysis.Modifier 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
Modifier and TypeMethodDescriptionabstract AnalysisLogger
OneGenTransient.logger()
Returns the logger used by this analysis.Modifier 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
Modifier and TypeMethodDescriptionabstract AnalysisLogger
RegSteadyState.logger()
Returns the logger used by this analysis.Modifier 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
Modifier and TypeMethodDescriptionabstract AnalysisLogger
RegTransient.logger()
Returns the logger used by this analysis.abstract AnalysisLogger
TreeTransient.logger()
Returns the logger used by this analysis.Modifier 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
Modifier and TypeMethodDescriptionabstract AnalysisLogger
TimedAnalysis.logger()
Returns the logger used by this analysis.Modifier and TypeMethodDescriptionabstract TimedAnalysis.Builder
TimedAnalysis.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis. -
Uses of AnalysisLogger in org.oristool.simulator
ModifierConstructorDescriptionSequencer
(PetriNet net, Marking initialMarking, SimulatorComponentsFactory<PetriNet, Transition> componentsFactory, AnalysisLogger logger) Builds a new instance for a given Petri net and initial marking.