Class ModelCheckingOptions.TransitionOptions
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
- All Implemented Interfaces:
ModelCheckingOptions.Opts
- Enclosing class:
- ModelCheckingOptions
public static final class ModelCheckingOptions.TransitionOptions
extends Object
implements ModelCheckingOptions.Opts
Class that represents simulation-specific options.
- Author:
- Dominik Grzelak
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic class
Default values:
allow reducible classes:false
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Flag that denotes whether to exploit the symmetries of the reaction graph or not.long
int
getType()
boolean
-
Method Details
-
getMaximumTransitions
public int getMaximumTransitions() -
getMaximumTimeUnit
-
getMaximumTime
public long getMaximumTime() -
allowReducibleClasses
public boolean allowReducibleClasses()Flag that denotes whether to exploit the symmetries of the reaction graph or not.Default value is
false
.- Returns:
true
reaction graph considers symmetries
-
isRewriteOpenLinks
public boolean isRewriteOpenLinks() -
getType
- Specified by:
getType
in interfaceModelCheckingOptions.Opts
-
toBuilder
-