Class DepthFirstStrategy<B extends Bigraph<? extends Signature<?>>>

java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>
org.bigraphs.framework.simulation.modelchecking.DepthFirstStrategy<B>
All Implemented Interfaces:
ModelCheckingStrategy<B>

public class DepthFirstStrategy<B extends Bigraph<? extends Signature<?>>> extends ModelCheckingStrategySupport<B>
This algorithm implements a depth-first model checking algorithm. It also detects cycles. This algorithm can be used to conduct reachability analysis.
Author:
Dominik Grzelak