dpvis.dpProcessor
Interface DPProcessor

All Superinterfaces:
java.io.Serializable
All Known Subinterfaces:
ContextSensitiveDpProcessor
All Known Implementing Classes:
AbstractCSProcessor

public interface DPProcessor
extends java.io.Serializable

Interface for Dependency Pair Processors.

Author:
felixs

Method Summary
 void freeResources()
          Use this method to free any resources (close Streams, kill subprocesses, etc.)
 java.util.List<OutputElement> getOutput()
          Provides the (human readable) output of the processor as list of OutputElements, see class OutputElement for Details
 boolean isComplete()
          Specifies whether a dependency processor is complete, i.e.
 java.util.Set<DependencyPairProblem> process(DependencyPairProblem prob)
          Method to process a dependency pair problem.
 

Method Detail

process

java.util.Set<DependencyPairProblem> process(DependencyPairProblem prob)
Method to process a dependency pair problem.

Parameters:
prob - The input problem.
Returns:
The set of resulting Dependency Pair problems.

getOutput

java.util.List<OutputElement> getOutput()
Provides the (human readable) output of the processor as list of OutputElements, see class OutputElement for Details

Returns:
The list of OutputElements.

freeResources

void freeResources()
Use this method to free any resources (close Streams, kill subprocesses, etc.) your DP Processor uses. This method will be called when your processor is interrupted due to a time limit.


isComplete

boolean isComplete()
Specifies whether a dependency processor is complete, i.e. whether finiteness of the input DP problem implies finiteness of all derived problems.

Returns:
true if the processor is complete