de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class AggressivePostProcessingStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.AggressivePostProcessingStrategy

All Implemented Interfaces:

PostProcessingStrategy

public class AggressivePostProcessingStrategy
extends Object
implements PostProcessingStrategy

Constructor Summary

Constructors

Constructor and Description
AggressivePostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy, int minAbstractionDistance)

Method Summary

Modifier and Type	Method and Description
void	process(StateSpace stateSpace)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AggressivePostProcessingStrategy

public AggressivePostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy,
                                        int minAbstractionDistance)

Method Detail

process

public void process(StateSpace stateSpace)

Specified by:

process in interface PostProcessingStrategy