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 and Description
ConverterIC3()

Method Summary

Modifier and Type	Method and Description
Answer	parse(File resultFile, ToolTaskInfo taskInfo)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConverterIC3

public ConverterIC3()

Method Detail

parse

public Answer parse(File resultFile,
                    ToolTaskInfo taskInfo)

Specified by:

parse in interface IConverter