de.rwth.i2.attestor.markingGeneration

Class AbstractMarkingGenerator

java.lang.Object

de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

Direct Known Subclasses:

NeighbourhoodMarkingGenerator, VisitedMarkingGenerator

public abstract class AbstractMarkingGenerator
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected AbortStrategy	abortStrategy
protected CanonicalizationStrategy	aggressiveCanonicalizationStrategy
protected Collection<String>	availableSelectorLabelNames
protected CanonicalizationStrategy	canonicalizationStrategy
protected MaterializationStrategy	materializationStrategy
protected StateRectificationStrategy	stateRectificationStrategy

Constructor Summary

Constructors

Constructor and Description
AbstractMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)

Method Summary

Modifier and Type	Method and Description
protected Collection<String>	getAvailableSelectorLabelNames()
protected abstract Program	getProgram()
protected abstract Collection<HeapConfiguration>	getResultingHeaps(StateSpace stateSpace)
Collection<HeapConfiguration>	marked(ProgramState initialState)
protected abstract List<ProgramState>	placeInitialMarkings(ProgramState initialState)

Methods inherited from class java.lang.Object

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

Field Detail

availableSelectorLabelNames

protected final Collection<String> availableSelectorLabelNames

abortStrategy

protected final AbortStrategy abortStrategy

materializationStrategy

protected final MaterializationStrategy materializationStrategy

canonicalizationStrategy

protected final CanonicalizationStrategy canonicalizationStrategy

aggressiveCanonicalizationStrategy

protected final CanonicalizationStrategy aggressiveCanonicalizationStrategy

stateRectificationStrategy

protected final StateRectificationStrategy stateRectificationStrategy

Constructor Detail

AbstractMarkingGenerator

public AbstractMarkingGenerator(Collection<String> availableSelectorLabelNames,
                                AbortStrategy abortStrategy,
                                MaterializationStrategy materializationStrategy,
                                CanonicalizationStrategy canonicalizationStrategy,
                                CanonicalizationStrategy aggressiveCanonicalizationStrategy,
                                StateRectificationStrategy stateRectificationStrategy)

Method Detail

placeInitialMarkings

protected abstract List<ProgramState> placeInitialMarkings(ProgramState initialState)

getProgram

protected abstract Program getProgram()

getResultingHeaps

protected abstract Collection<HeapConfiguration> getResultingHeaps(StateSpace stateSpace)

getAvailableSelectorLabelNames

protected Collection<String> getAvailableSelectorLabelNames()

marked

public Collection<HeapConfiguration> marked(ProgramState initialState)