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.setParallelRuleMatching(boolean flag)	Instruct the simulation either to perform rule matching in parallel or sequentially (default).
ModelCheckingOptions	ModelCheckingOptions.setReactionGraphWithCycles(boolean reactionGraphWithCycles)	Configure whether the reaction graph should permit the depiction of cycles.
ModelCheckingOptions	ModelCheckingOptions.withParallelRuleMatching(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)	Creates a BigraphModelChecker using the specified exploration strategy.
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<B> listener)	Creates a BigraphModelChecker with a specified exploration strategy and an optional listener.
	BigraphModelChecker(ReactiveSystem<B> reactiveSystem, ModelCheckingOptions options)	Creates a BigraphModelChecker using Breadth-First Search (BFS) as default exploration strategy.
	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)