gov.nasa.jpf.util

Interface Processor<T>

All Known Implementing Classes:

AdaptiveSerializer, CFSerializer, DebugCFSerializer, DebugFilteringSerializer, DynamicAbstractionSerializer, FilteringSerializer, GenericHeap.ElementInfoMarker, TopFrameSerializer

public interface Processor<T>

Method Summary

Modifier and Type	Method and Description
void	process(T obj)

Method Detail

process

void process(T obj)