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	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	RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Random state-space traversal without cycle-checking and predicate evaluation.