Uses of Class
org.oristool.models.stpn.steady.RegSteadyState.Builder
Packages that use RegSteadyState.Builder
-
Uses of RegSteadyState.Builder in org.oristool.models.stpn.steady
Methods in org.oristool.models.stpn.steady that return RegSteadyState.BuilderModifier and TypeMethodDescriptionstatic RegSteadyState.Builder
RegSteadyState.builder()
Creates a builder for analysis configurations (with default values).abstract RegSteadyState.Builder
RegSteadyState.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract RegSteadyState.Builder
RegSteadyState.Builder.monitor
(AnalysisMonitor value) Sets the monitor used by this analysis.abstract RegSteadyState.Builder
RegSteadyState.Builder.stopOn
(Supplier<StopCriterion> value) Sets the supplier of local stop criterion instances used by this analysis.RegSteadyState.Builder.stopOn
(MarkingCondition value) Uses a marking condition to create local stop criterion instances used by this analysis.