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

Packages that use DepthFirstStrategy

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

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

Modifier and Type	Class	Description
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.