Uses of Interface
org.oristool.analyzer.log.AnalysisMonitor

Packages that use AnalysisMonitor

Package	Description
org.oristool.analyzer.log	Provides logging and monitoring utilities.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.chains	Analysis of Markov chains.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of AnalysisMonitor in org.oristool.analyzer.log

Classes in org.oristool.analyzer.log that implement AnalysisMonitor

Modifier and Type	Class	Description
enum	NoOpMonitor	Analysis monitor that discards notifications and never requests to stop the analysis.

Uses of AnalysisMonitor in org.oristool.analyzer.stop

Constructors in org.oristool.analyzer.stop with parameters of type AnalysisMonitor

Modifier	Constructor	Description
	MonitorStopCriterion(AnalysisMonitor monitor)

Uses of AnalysisMonitor in org.oristool.models.gspn

Methods in org.oristool.models.gspn that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	GSPNSteadyState.monitor()	Returns the monitor used by this analysis.
abstract AnalysisMonitor	GSPNTransient.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.gspn with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract GSPNTransient.Builder	GSPNTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.gspn.chains

Methods in org.oristool.models.gspn.chains that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	CTMCStationary.monitor()	Returns the monitor used by this analysis.
abstract AnalysisMonitor	CTMCTransient.monitor()	Returns the monitor used by this analysis.
abstract AnalysisMonitor	DTMCStationary.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.gspn.chains with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract CTMCStationary.Builder<M,S>	CTMCStationary.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract CTMCTransient.Builder<M,S>	CTMCTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract DTMCStationary.Builder<S>	DTMCStationary.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	GSPNReachability.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.gspn.reachability with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract GSPNReachability.Builder	GSPNReachability.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	OneGenTransient.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.stpn.onegen with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract OneGenTransient.Builder	OneGenTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.stpn.steady

Methods in org.oristool.models.stpn.steady that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	RegSteadyState.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.stpn.steady with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract RegSteadyState.Builder	RegSteadyState.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	RegTransient.monitor()	Returns the monitor used by this analysis.
abstract AnalysisMonitor	TreeTransient.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.stpn.trans with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract RegTransient.Builder	RegTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Uses of AnalysisMonitor in org.oristool.models.stpn.trees

Constructors in org.oristool.models.stpn.trees with parameters of type AnalysisMonitor

Modifier	Constructor	Description
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.

Uses of AnalysisMonitor in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return AnalysisMonitor

Modifier and Type	Method	Description
abstract AnalysisMonitor	TimedAnalysis.monitor()	Returns the monitor used by this analysis.

Methods in org.oristool.models.tpn with parameters of type AnalysisMonitor

Modifier and Type	Method	Description
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.

Constructors in org.oristool.models.tpn with parameters of type AnalysisMonitor

Modifier	Constructor	Description
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, StopCriterion stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor)	Builds a factory for TPN analysis.
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.