Class ModelCheckingOptions.TransitionOptions.Builder
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
- Enclosing class:
- ModelCheckingOptions.TransitionOptions
Default values:
- allow reducible classes:
false
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionallowReducibleClasses
(boolean reduceStates) Flag to set whether to allow reducible classes for the reaction graph.create()
rewriteOpenLinks
(boolean rewriteOpenLinks) setMaximumTime
(long maximumTime) setMaximumTime
(long maximumTime, TimeUnit maximumTimeUnit) setMaximumTransitions
(int maximumTransitions)
-
Constructor Details
-
Builder
public Builder()
-
-
Method Details
-
setMaximumTransitions
-
setMaximumTime
public ModelCheckingOptions.TransitionOptions.Builder setMaximumTime(long maximumTime, TimeUnit maximumTimeUnit) -
setMaximumTime
-
allowReducibleClasses
Flag to set whether to allow reducible classes for the reaction graph.- Parameters:
reduceStates
- iftrue
, symmetries are exploited- Returns:
true
reaction graph considers symmetries
-
rewriteOpenLinks
-
create
-