Uses of Class
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

Packages that use ModelCheckingStrategySupport

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ModelCheckingStrategySupport in org.bigraphs.framework.simulation.modelchecking

Subclasses of ModelCheckingStrategySupport in org.bigraphs.framework.simulation.modelchecking

Modifier and Type	Class	Description
class	BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here is a variant of the BreadthFirstSimulationStrategy without cycle checking.
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<?>>>