Package org.bigraphs.framework.simulation.modelchecking

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

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>

org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy<B>

All Implemented Interfaces:

ModelCheckingStrategy<B>

@Deprecated
public class BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>
extends ModelCheckingStrategySupport<B>

Deprecated.

The algorithm implemented here is a variant of the BreadthFirstSimulationStrategy without cycle checking. Thus, graph isomorphism checks are not conducted.

Leads to higher state-spaces than BFS with cycle checking but less expensive because canonical label is not computed.

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

modelChecker, occurrenceCounter

Constructor Summary

Constructors

Constructor	Description
BreadthFirstSimulationStrategy(BigraphModelChecker<B> modelChecker)	Deprecated.

Method Summary

Modifier and Type	Method	Description
void	synthesizeTransitionSystem()	Deprecated. Compute the transition system of a bigraph with all added reaction rules so far.

Methods inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

increaseOccurrenceCounter, resetOccurrenceCounter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BreadthFirstSimulationStrategy

public BreadthFirstSimulationStrategy(BigraphModelChecker<B> modelChecker)

Deprecated.

Method Details

synthesizeTransitionSystem

public void synthesizeTransitionSystem()

Deprecated.

Compute the transition system of a bigraph with all added reaction rules so far.