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

Packages that use BigraphModelChecker

Package	Description
org.bigraphs.framework.simulation.modelchecking

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

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

Modifier and Type	Class	Description
class	PureBigraphModelChecker	An implementation of a BigraphModelChecker for model checking of BRS with pure bigraphs (see PureBigraph).

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

Modifier and Type	Field	Description
protected BigraphModelChecker<B>	ModelCheckingStrategySupport.modelChecker

Methods in org.bigraphs.framework.simulation.modelchecking that return BigraphModelChecker

Modifier and Type	Method	Description
BigraphModelChecker<B>	BigraphModelChecker.setReactiveSystemListener(BigraphModelChecker.ReactiveSystemListener<B> reactiveSystemListener)

Constructors in org.bigraphs.framework.simulation.modelchecking with parameters of type BigraphModelChecker

Modifier	Constructor	Description
	BFSFirstMatchStrategy(BigraphModelChecker<B> modelChecker)
	BreadthFirstStrategy(BigraphModelChecker<B> modelChecker)
	DepthFirstStrategy(BigraphModelChecker<B> modelChecker)
	DFSFirstMatchStrategy(BigraphModelChecker<B> modelChecker)
	ModelCheckingStrategySupport(BigraphModelChecker<B> modelChecker)
	RandomAgentModelCheckingStrategy(BigraphModelChecker<B> modelChecker)