Class BigraphModelChecker.SimulationStrategy
java.lang.Object
org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy
- Enclosing class:
BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>
Enum-like class that holds all kind of simulations.
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
Class<? extends ModelCheckingStrategy>
-
Constructor Details
-
SimulationStrategy
public SimulationStrategy()
-
-
Method Details
-
getSimulationStrategyClass
public static <B extends Bigraph<? extends Signature<?>>> Class<? extends ModelCheckingStrategy> getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type type)
-