Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
-
Uses of ModelCheckingStrategySupport 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
RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>
Random state-space traversal without cycle-checking and predicate evaluation.