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
-
Nested Class Summary
Nested classes/interfaces inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>
-
Field Summary
Modifier and TypeFieldDescriptionprotected JLibBigBigraphDecoder
Deprecated.protected JLibBigBigraphEncoder
Deprecated.protected PredicateChecker<B>
Deprecated.Fields inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
modelChecker, occurrenceCounter
-
Constructor Summary
ConstructorDescriptionBreadthFirstSimulationStrategy
(BigraphModelChecker<B> modelChecker) Deprecated. -
Method Summary
Modifier and TypeMethodDescriptionvoid
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
-
Field Details
-
predicateChecker
Deprecated. -
decoder
Deprecated. -
encoder
Deprecated.
-
-
Constructor Details
-
BreadthFirstSimulationStrategy
Deprecated.
-
-
Method Details
-
synthesizeTransitionSystem
public void synthesizeTransitionSystem()Deprecated.Compute the transition system of a bigraph with all added reaction rules so far.
-