Uses of Class
org.oristool.models.gspn.GSPNSteadyState.Builder

Packages that use GSPNSteadyState.Builder

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.

Uses of GSPNSteadyState.Builder in org.oristool.models.gspn

Methods in org.oristool.models.gspn that return GSPNSteadyState.Builder

Modifier and Type	Method	Description
static GSPNSteadyState.Builder	GSPNSteadyState.builder()	Creates a builder for analysis configurations (with default values).
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.epsilon(double value)	Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
GSPNSteadyState.Builder	GSPNSteadyState.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.