Package org.tweetyproject.arg.adf.io

Class KppADFFormatWriter

java.lang.Object

org.tweetyproject.arg.adf.io.KppADFFormatWriter

public class KppADFFormatWriter
extends java.lang.Object

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
KppADFFormatWriter()

Method Summary

Modifier and Type	Method	Description
static void	writeToFile(AbstractDialecticalFramework adf, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

KppADFFormatWriter

public KppADFFormatWriter()

Method Detail

writeToFile

public static void writeToFile(AbstractDialecticalFramework adf,
                               java.io.File file)
                        throws java.io.IOException

Throws:

java.io.IOException