Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder

Packages that use ModelCheckingOptions.TransitionOptions.Builder

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ModelCheckingOptions.TransitionOptions.Builder in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that return ModelCheckingOptions.TransitionOptions.Builder

Modifier and Type	Method	Description
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.Builder.allowReducibleClasses(boolean reduceStates)	Flag to set whether to allow reducible classes for the reaction graph.
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.Builder.rewriteOpenLinks(boolean rewriteOpenLinks)
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.Builder.setMaximumTime(long maximumTime)
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.Builder.setMaximumTime(long maximumTime, TimeUnit maximumTimeUnit)
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.Builder.setMaximumTransitions(int maximumTransitions)
ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.TransitionOptions.toBuilder()
static ModelCheckingOptions.TransitionOptions.Builder	ModelCheckingOptions.transitionOpts()