Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions

Packages that use ModelCheckingOptions

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ModelCheckingOptions in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as ModelCheckingOptions

Modifier and Type	Field	Description
protected ModelCheckingOptions	BigraphModelChecker.options

Methods in org.bigraphs.framework.simulation.modelchecking that return ModelCheckingOptions

Modifier and Type	Method	Description
ModelCheckingOptions	ModelCheckingOptions.and(ModelCheckingOptions.Opts opts)
static ModelCheckingOptions	ModelCheckingOptions.create()
ModelCheckingOptions	ModelCheckingOptions.doMeasureTime(boolean measureTime)	Instruct the simulation to measure the time for individual steps of the current used simulation algorithm.
ModelCheckingOptions	ModelCheckingOptions.doParallelRuleMatching(boolean flag)	Instruct the simulation either to perform rule matching in parallel or sequentially (default).

Constructors in org.bigraphs.framework.simulation.modelchecking with parameters of type ModelCheckingOptions

Modifier	Constructor	Description
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options)
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<B> listener)
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, ModelCheckingOptions options)