Uses of Interface
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy

Packages that use ModelCheckingStrategy

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

Classes in org.bigraphs.framework.simulation.modelchecking that implement ModelCheckingStrategy

Modifier and Type	Class	Description
class	BFSFirstMatchStrategy<B extends Bigraph<? extends Signature<?>>>	A breadth-first exploration strategy that selects only the first available match in "natural matcher order" for each reaction rule when checking a state.
class	BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
class	DepthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	This algorithm implements a depth-first model checking algorithm.
class	DFSFirstMatchStrategy<B extends Bigraph<? extends Signature<?>>>	A depth-first exploration strategy that selects only the first available match in "natural matcher order" for each reaction rule when checking a state.
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.

Fields in org.bigraphs.framework.simulation.modelchecking declared as ModelCheckingStrategy

Modifier and Type	Field	Description
protected ModelCheckingStrategy<B>	BigraphModelChecker.modelCheckingStrategy

Methods in org.bigraphs.framework.simulation.modelchecking that return types with arguments of type ModelCheckingStrategy

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