Package org.bigraphs.framework.simulation.modelchecking

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected BigraphModelChecker<B>	modelChecker
protected int	occurrenceCounter

Constructor Summary

Constructors

Constructor	Description
ModelCheckingStrategySupport(BigraphModelChecker<B> modelChecker)

Method Summary

Modifier and Type	Method	Description
protected void	increaseOccurrenceCounter()
protected void	resetOccurrenceCounter()

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

protected BigraphModelChecker<B extends Bigraph<? extends Signature<?>>> modelChecker

Constructor Details

ModelCheckingStrategySupport

public ModelCheckingStrategySupport(BigraphModelChecker<B> modelChecker)

Method Details

increaseOccurrenceCounter

protected void increaseOccurrenceCounter()

resetOccurrenceCounter

protected void resetOccurrenceCounter()