Package org.bigraphs.framework.simulation.modelchecking

Class BigraphModelChecker.SimulationStrategy

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy

Enclosing class:

BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>

public static class BigraphModelChecker.SimulationStrategy
extends Object

Enum-like class that holds all kind of simulations.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	BigraphModelChecker.SimulationStrategy.Type

Constructor Summary

Constructors

Constructor	Description
SimulationStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

SimulationStrategy

public SimulationStrategy()

Method Details

getSimulationStrategyClass

public static <B extends Bigraph<? extends Signature<?>>>
Class<? extends ModelCheckingStrategy> getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type type)