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

Packages that use PostProcessingStrategy

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

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

Modifier and Type	Class and Description
class	AggressivePostProcessingStrategy
class	FinalStateSubsumptionPostProcessingStrategy
class	NoPostProcessingStrategy

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

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

Modifier and Type	Method and Description
PostProcessingStrategy	StateSpaceGenerator.getPostProcessingStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setPostProcessingStrategy(PostProcessingStrategy postProcessingStrategy)