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

Packages that use BreadthFirstStrategy

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

Subclasses of BreadthFirstStrategy 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.