de.rwth.i2.attestor.stateSpaceGeneration

Interface PostProcessingStrategy

All Known Implementing Classes:

AggressivePostProcessingStrategy, FinalStateSubsumptionPostProcessingStrategy, NoPostProcessingStrategy

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface PostProcessingStrategy

Method Summary

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

Method Detail

process

void process(StateSpace originalStateSpace)