Class ModelCheckingOptions
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
@Configuration
@ConfigurationProperties(prefix="model-checking",
ignoreInvalidFields=true)
public class ModelCheckingOptions
extends Object
This class represents the available options for the model checker
BigraphModelChecker
.
It can also be configured via an external configuration file.- Author:
- Dominik Grzelak
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic final class
This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.static enum
static interface
static final class
Class that represents simulation-specific options. -
Method Summary
Modifier and TypeMethodDescriptionand
(ModelCheckingOptions.Opts opts) static ModelCheckingOptions
create()
doMeasureTime
(boolean measureTime) Instruct the simulation to measure the time for individual steps of the current used simulation algorithm.doParallelRuleMatching
(boolean flag) Instruct the simulation either to perform rule matching in parallel or sequentially (default).<T extends ModelCheckingOptions.Opts>
Tboolean
boolean
void
setMeasureTime
(boolean measureTime) void
setParallelRuleMatching
(boolean flag) Instruct the simulation either to perform rule matching in parallel or sequentially (default).
-
Method Details
-
exportOpts
-
transitionOpts
-
create
-
and
-
setMeasureTime
public void setMeasureTime(boolean measureTime) -
isMeasureTime
public boolean isMeasureTime() -
setParallelRuleMatching
public void setParallelRuleMatching(boolean flag) Instruct the simulation either to perform rule matching in parallel or sequentially (default).- Parameters:
flag
- flag to enable or disable parallel rule matchings
-
doParallelRuleMatching
Instruct the simulation either to perform rule matching in parallel or sequentially (default).- Parameters:
flag
- flag to enable or disable parallel rule matchings- Returns:
- the current options instance
-
isParallelRuleMatching
public boolean isParallelRuleMatching() -
doMeasureTime
Instruct the simulation to measure the time for individual steps of the current used simulation algorithm. Defaults tofalse
. Useful for debugging purposes.- Parameters:
measureTime
- flag to enable or disable time measurement- Returns:
- the current options instance
-
get
-