Package de.foellix.aql.converter.ic3

Class ConverterIC3

java.lang.Object

de.foellix.aql.converter.ic3.ConverterIC3

All Implemented Interfaces:

IConverter

public class ConverterIC3
extends Object
implements IConverter

Constructor Summary

Constructors

Constructor	Description
ConverterIC3()

Method Summary

Modifier and Type	Method	Description
Answer	parse(ConverterTask task)	Converts a tool's result.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.foellix.aql.converter.IConverter

recoverResultFromOutput

Constructor Details

ConverterIC3

public ConverterIC3()

Method Details

parse

public Answer parse(ConverterTask task)

Description copied from interface: IConverter

Converts a tool's result.

Specified by:

parse in interface IConverter

Parameters:

task - the converter task. Example: For getting the result file use: "new File(task.getTaskInfo().getData(ConverterTaskInfo.RESULT_FILE))"

Returns:

answer the converted AQL-Answer