Uses of Interface
de.rwth.i2.attestor.grammar.canonicalization.CanonicalizationStrategy

Packages that use CanonicalizationStrategy

Package	Description
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.
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 CanonicalizationStrategy in de.rwth.i2.attestor.grammar.canonicalization

Classes in de.rwth.i2.attestor.grammar.canonicalization that implement CanonicalizationStrategy

Modifier and Type	Class and Description
class	GeneralCanonicalizationStrategy

Methods in de.rwth.i2.attestor.grammar.canonicalization that return CanonicalizationStrategy

Modifier and Type	Method and Description
CanonicalizationStrategy	CanonicalizationStrategyBuilder.build()

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

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

Modifier and Type	Method and Description
CanonicalizationStrategy	Strategies.getAggressiveCanonicalizationStrategy()
CanonicalizationStrategy	Strategies.getCanonicalizationStrategy()

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

Modifier and Type	Method and Description
void	Strategies.setAggressiveCanonicalizationStrategy(CanonicalizationStrategy aggressiveCanonicalizationStrategy)
void	Strategies.setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)

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

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

Modifier and Type	Field and Description
protected CanonicalizationStrategy	AbstractMarkingGenerator.aggressiveCanonicalizationStrategy
protected CanonicalizationStrategy	AbstractMarkingGenerator.canonicalizationStrategy

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setCanonicalizationStrategy(CanonicalizationStrategy canonicalizationStrategy)

Constructors in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type CanonicalizationStrategy

Constructor and Description
StateSubsumptionStrategy(CanonicalizationStrategy canonicalizationStrategy)

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

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

Modifier and Type	Class and Description
class	NoCanonicalizationStrategy

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

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

Modifier and Type	Method and Description
CanonicalizationStrategy	StateCanonicalizationStrategy.getHeapStrategy()

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

Constructor and Description
StateCanonicalizationStrategy(CanonicalizationStrategy strategy)