PostProcessor (SPECpp)

Type Parameters:

S - input type

T - output type

All Superinterfaces:

java.util.function.Function<S,T>

All Known Subinterfaces:

CollectionOfPlacesPostProcessor, PostProcessorComponent<S,T>

All Known Implementing Classes:

AddDanglingTransitionPostProcessing, IdentityPostProcessor, ImplicitnessPostProcessor, InstrumentedPostProcessor, LPBasedImplicitnessPostProcessing, LPBasedImplicitnessPostProcessing.Interruptible, MockPostProcessor, NaiveUniwiredSelfLoopAdditionPostProcessing, PlaceExporter, PostProcessingPipeline, ProMConverter, ReplayBasedImplicitnessPostProcessing, ReplayBasedImplicitnessPostProcessing.Interruptible, SelfLoopPlaceMerger, StrictUniwiredSelfLoopAdditionPostProcessing, UniwiredSelfLoopAdditionPostProcessing, WrappedPostProcessor
```
public interface PostProcessor<S extends Result,T extends Result>
extends java.util.function.Function<S,T>
```
General Interface for a post-processing operation which transforms an object of type S to T. It additionally provides a human-readable label, as well as instances of the classes of supported types.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default T`	`apply(S s)`
`java.lang.Class<S>`	`getInputClass()`
`default java.lang.String`	`getLabel()`
`java.lang.Class<T>`	`getOutputClass()`
`T`	`postProcess(S result)`

Methods inherited from interface java.util.function.Function
andThen, compose

Method Detail

postProcess
```
T postProcess(S result)
```

getLabel
```
default java.lang.String getLabel()
```

getInputClass
```
java.lang.Class<S> getInputClass()
```

getOutputClass
```
java.lang.Class<T> getOutputClass()
```

apply
```
default T apply(S s)
```
Specified by:

apply in interface java.util.function.Function<S extends Result,T extends Result>