Uses of Interface
de.rwth.i2.attestor.grammar.materialization.strategies.MaterializationStrategy

Packages that use MaterializationStrategy

Package	Description
de.rwth.i2.attestor.grammar.materialization.strategies
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.markingGeneration
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of MaterializationStrategy in de.rwth.i2.attestor.grammar.materialization.strategies

Classes in de.rwth.i2.attestor.grammar.materialization.strategies that implement MaterializationStrategy

Modifier and Type	Class and Description
class	GeneralMaterializationStrategy Determines concrete violation points and resolves them.

Methods in de.rwth.i2.attestor.grammar.materialization.strategies that return MaterializationStrategy

Modifier and Type	Method and Description
MaterializationStrategy	MaterializationStrategyBuilder.build()

Uses of MaterializationStrategy in de.rwth.i2.attestor.main.scene

Methods in de.rwth.i2.attestor.main.scene that return MaterializationStrategy

Modifier and Type	Method and Description
MaterializationStrategy	Strategies.getMaterializationStrategy()

Methods in de.rwth.i2.attestor.main.scene with parameters of type MaterializationStrategy

Modifier and Type	Method and Description
void	Strategies.setMaterializationStrategy(MaterializationStrategy materializationStrategy)

Uses of MaterializationStrategy in de.rwth.i2.attestor.markingGeneration

Fields in de.rwth.i2.attestor.markingGeneration declared as MaterializationStrategy

Modifier and Type	Field and Description
protected MaterializationStrategy	AbstractMarkingGenerator.materializationStrategy

Constructors in de.rwth.i2.attestor.markingGeneration with parameters of type MaterializationStrategy

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

Uses of MaterializationStrategy in de.rwth.i2.attestor.markingGeneration.neighbourhood

Constructors in de.rwth.i2.attestor.markingGeneration.neighbourhood with parameters of type MaterializationStrategy

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

Uses of MaterializationStrategy in de.rwth.i2.attestor.markingGeneration.visited

Constructors in de.rwth.i2.attestor.markingGeneration.visited with parameters of type MaterializationStrategy

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

Uses of MaterializationStrategy in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type MaterializationStrategy

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setMaterializationStrategy(MaterializationStrategy materializationStrategy)

Uses of MaterializationStrategy in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Classes in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that implement MaterializationStrategy

Modifier and Type	Class and Description
class	NoMaterializationStrategy

Uses of MaterializationStrategy in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return MaterializationStrategy

Modifier and Type	Method and Description
MaterializationStrategy	StateMaterializationStrategy.getHeapStrategy()

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type MaterializationStrategy

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setMaterializationStrategy(MaterializationStrategy materializationStrategy)

Constructors in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type MaterializationStrategy

Constructor and Description
StateMaterializationStrategy(MaterializationStrategy heapStrategy)