Uses of Class
org.oristool.models.gspn.reachability.GSPNReachability.Builder

Packages that use GSPNReachability.Builder

Package	Description
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.

Uses of GSPNReachability.Builder in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return GSPNReachability.Builder

Modifier and Type	Method	Description
static GSPNReachability.Builder	GSPNReachability.builder()	Creates a builder for analysis configurations (with default values).
abstract GSPNReachability.Builder	GSPNReachability.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract GSPNReachability.Builder	GSPNReachability.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract GSPNReachability.Builder	GSPNReachability.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
GSPNReachability.Builder	GSPNReachability.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.