Uses of Interface
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy
-
Uses of ModelCheckingStrategy in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeClassDescriptionclass
BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>
Deprecated.class
BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>
The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].class
ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>
Base class for supporting model checking strategy implementations.class
RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>
Random state-space traversal without cycle-checking and predicate evaluation.Modifier and TypeFieldDescriptionprotected ModelCheckingStrategy<B>
BigraphModelChecker.modelCheckingStrategy
Modifier and TypeMethodDescriptionstatic <B extends Bigraph<? extends Signature<?>>>
Class<? extends ModelCheckingStrategy>BigraphModelChecker.SimulationStrategy.getSimulationStrategyClass
(BigraphModelChecker.SimulationStrategy.Type type)