java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>
- All Implemented Interfaces:
ModelCheckingStrategy<B>
- Direct Known Subclasses:
BreadthFirstSimulationStrategy
,BreadthFirstStrategy
,RandomAgentModelCheckingStrategy
public abstract class ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>
extends Object
implements ModelCheckingStrategy<B>
Base class for supporting model checking strategy implementations.
Provides some useful method to keep subclasses simple.
- Author:
- Dominik Grzelak
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class
ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected void
protected void
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy
synthesizeTransitionSystem
-
Field Details
-
occurrenceCounter
protected int occurrenceCounter -
modelChecker
-
-
Constructor Details
-
ModelCheckingStrategySupport
-
-
Method Details
-
increaseOccurrenceCounter
protected void increaseOccurrenceCounter() -
resetOccurrenceCounter
protected void resetOccurrenceCounter()
-