Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.StateRectificationStrategy

Packages that use StateRectificationStrategy

Package	Description
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 StateRectificationStrategy in de.rwth.i2.attestor.main.scene

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

Modifier and Type	Method and Description
StateRectificationStrategy	Strategies.getStateRectificationStrategy()

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

Modifier and Type	Method and Description
void	Strategies.setStateRectificationStrategy(StateRectificationStrategy stateRectificationStrategy)

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

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

Modifier and Type	Field and Description
protected StateRectificationStrategy	AbstractMarkingGenerator.stateRectificationStrategy

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setRectificationStrategy(StateRectificationStrategy rectificationStrategy)

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

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

Modifier and Type	Class and Description
class	AdmissibleStateRectificationStrategy
class	NoRectificationStrategy

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

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

Modifier and Type	Method and Description
StateRectificationStrategy	StateSpaceGenerator.getStateRectificationStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateRectificationStrategy(StateRectificationStrategy stateRectificationStrategy)