Uses of Enum Class
org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type

Packages that use BigraphModelChecker.SimulationStrategy.Type

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of BigraphModelChecker.SimulationStrategy.Type in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as BigraphModelChecker.SimulationStrategy.Type

Modifier and Type	Field	Description
protected BigraphModelChecker.SimulationStrategy.Type	BigraphModelChecker.simulationStrategyType

Methods in org.bigraphs.framework.simulation.modelchecking that return BigraphModelChecker.SimulationStrategy.Type

Modifier and Type	Method	Description
static BigraphModelChecker.SimulationStrategy.Type	BigraphModelChecker.SimulationStrategy.Type.valueOf(String name)	Returns the enum constant of this class with the specified name.
static BigraphModelChecker.SimulationStrategy.Type[]	BigraphModelChecker.SimulationStrategy.Type.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type BigraphModelChecker.SimulationStrategy.Type

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> Class<? extends ModelCheckingStrategy>	BigraphModelChecker.SimulationStrategy.getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type type)

Constructors in org.bigraphs.framework.simulation.modelchecking with parameters of type BigraphModelChecker.SimulationStrategy.Type

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)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options)
	PureBigraphModelChecker(ReactiveSystem<PureBigraph> reactiveSystem, BigraphModelChecker.SimulationStrategy.Type simulationStrategyType, ModelCheckingOptions options, BigraphModelChecker.ReactiveSystemListener<PureBigraph> listener)