edu.iu.dsc.tws.examples.verification

Interface ResultsGenerator<INPUT,OUTPUT>

public interface ResultsGenerator<INPUT,OUTPUT>

Method Summary

Modifier and Type	Method and Description
OUTPUT	generateResults(INPUT input, java.util.Map<java.lang.String,java.lang.Object> args)

Method Detail

generateResults

OUTPUT generateResults(INPUT input,
                       java.util.Map<java.lang.String,java.lang.Object> args)