de.rwth.i2.attestor.markingGeneration.neighbourhood

Class NeighbourhoodMarkingGenerator

java.lang.Object

de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

de.rwth.i2.attestor.markingGeneration.neighbourhood.NeighbourhoodMarkingGenerator

public class NeighbourhoodMarkingGenerator
extends AbstractMarkingGenerator

Field Summary

Fields inherited from class de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

abortStrategy, aggressiveCanonicalizationStrategy, availableSelectorLabelNames, canonicalizationStrategy, materializationStrategy, stateRectificationStrategy

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class de.rwth.i2.attestor.markingGeneration.AbstractMarkingGenerator

getAvailableSelectorLabelNames, marked

Methods inherited from class java.lang.Object

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

Constructor Detail

NeighbourhoodMarkingGenerator

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

Method Detail

placeInitialMarkings

protected List<ProgramState> placeInitialMarkings(ProgramState initialState)

Specified by:

placeInitialMarkings in class AbstractMarkingGenerator

getProgram

protected Program getProgram()

Specified by:

getProgram in class AbstractMarkingGenerator

getResultingHeaps

protected Collection<HeapConfiguration> getResultingHeaps(StateSpace stateSpace)

Specified by:

getResultingHeaps in class AbstractMarkingGenerator