Package org.bigraphs.framework.simulation.modelchecking

Class ModelCheckingOptions.TransitionOptions.Builder

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder

Enclosing class:

ModelCheckingOptions.TransitionOptions

public static class ModelCheckingOptions.TransitionOptions.Builder
extends Object

Default values:

• allow reducible classes: false

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Builder

public Builder()

Method Details

setMaximumTransitions

public ModelCheckingOptions.TransitionOptions.Builder setMaximumTransitions(int maximumTransitions)

setMaximumTime

public ModelCheckingOptions.TransitionOptions.Builder setMaximumTime(long maximumTime,
 TimeUnit maximumTimeUnit)

setMaximumTime

public ModelCheckingOptions.TransitionOptions.Builder setMaximumTime(long maximumTime)

allowReducibleClasses

public ModelCheckingOptions.TransitionOptions.Builder allowReducibleClasses(boolean reduceStates)

Flag to set whether to allow reducible classes for the reaction graph.

Parameters:

reduceStates - if true, symmetries are exploited

Returns:

true reaction graph considers symmetries

rewriteOpenLinks

public ModelCheckingOptions.TransitionOptions.Builder rewriteOpenLinks(boolean rewriteOpenLinks)

create

public ModelCheckingOptions.TransitionOptions create()