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

Class FinalStateSubsumptionPostProcessingStrategy

java.lang.Object

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

All Implemented Interfaces:

PostProcessingStrategy

public class FinalStateSubsumptionPostProcessingStrategy
extends Object
implements PostProcessingStrategy

Constructor Summary

Constructors

Constructor and Description
FinalStateSubsumptionPostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy, boolean admissibleAbstractionEnabled)

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

FinalStateSubsumptionPostProcessingStrategy

public FinalStateSubsumptionPostProcessingStrategy(StateCanonicalizationStrategy canonicalizationStrategy,
                                                   boolean admissibleAbstractionEnabled)

Method Detail

process

public void process(StateSpace stateSpace)

Specified by:

process in interface PostProcessingStrategy