Uses of Class
de.rwth.i2.attestor.stateSpaceGeneration.StateCanonicalizationStrategy

Packages that use StateCanonicalizationStrategy

Package	Description
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 StateCanonicalizationStrategy in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies with parameters of type StateCanonicalizationStrategy

Constructor and Description
AggressivePostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy, int minAbstractionDistance)
FinalStateSubsumptionPostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy, int minAbstractionDistance)

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

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

Modifier and Type	Method and Description
StateCanonicalizationStrategy	StateSpaceGenerator.getCanonizationStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setCanonizationStrategy(StateCanonicalizationStrategy canonicalizationStrategy)