Package org.bigraphs.framework.simulation.modelchecking

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

Nested Classes

Modifier and Type	Class	Description
static final class	ModelCheckingOptions.ExportOptions	This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.
static enum	ModelCheckingOptions.Options
static interface	ModelCheckingOptions.Opts
static final class	ModelCheckingOptions.TransitionOptions	Class that represents simulation-specific options.

Method Summary

Modifier and Type	Method	Description
ModelCheckingOptions	and(ModelCheckingOptions.Opts opts)
static ModelCheckingOptions	create()
ModelCheckingOptions	doMeasureTime(boolean measureTime)	Instruct the simulation to measure the time for individual steps of the current used simulation algorithm.
ModelCheckingOptions	doParallelRuleMatching(boolean flag)	Instruct the simulation either to perform rule matching in parallel or sequentially (default).
static ModelCheckingOptions.ExportOptions.Builder	exportOpts()
<T extends ModelCheckingOptions.Opts> T	get(ModelCheckingOptions.Options kind)
boolean	isMeasureTime()
boolean	isParallelRuleMatching()
void	setMeasureTime(boolean measureTime)
void	setParallelRuleMatching(boolean flag)	Instruct the simulation either to perform rule matching in parallel or sequentially (default).
static ModelCheckingOptions.TransitionOptions.Builder	transitionOpts()

Methods inherited from class java.lang.Object

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

Method Details

exportOpts

public static ModelCheckingOptions.ExportOptions.Builder exportOpts()

transitionOpts

public static ModelCheckingOptions.TransitionOptions.Builder transitionOpts()

create

public static ModelCheckingOptions create()

and

public ModelCheckingOptions and(ModelCheckingOptions.Opts opts)

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

public ModelCheckingOptions doParallelRuleMatching(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

Returns:

the current options instance

isParallelRuleMatching

public boolean isParallelRuleMatching()

doMeasureTime

public ModelCheckingOptions doMeasureTime(boolean measureTime)

Instruct the simulation to measure the time for individual steps of the current used simulation algorithm. Defaults to false. Useful for debugging purposes.

Parameters:

measureTime - flag to enable or disable time measurement

Returns:

the current options instance

get

public <T extends ModelCheckingOptions.Opts> T get(ModelCheckingOptions.Options kind)