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

Class NoPostProcessingStrategy

java.lang.Object

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

All Implemented Interfaces:

PostProcessingStrategy

public class NoPostProcessingStrategy
extends Object
implements PostProcessingStrategy

Constructor Summary

Constructors

Constructor and Description
NoPostProcessingStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NoPostProcessingStrategy

public NoPostProcessingStrategy()

Method Detail

process

public void process(StateSpace originalStateSpace)

Specified by:

process in interface PostProcessingStrategy