Package net.sf.tweety.arg.aspic.writer

Class AspicWriter<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

java.lang.Object

net.sf.tweety.arg.aspic.writer.AspicWriter<T>

Type Parameters:

T - the type of formulas

public class AspicWriter<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends Object

For writing ASPIC argumentation theories to disk.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AspicWriter()

Method Summary

Modifier and Type	Method	Description
void	write(AspicArgumentationTheory<T> theory, File f)	Writes the given ASPIC+ theory to disk.

Methods inherited from class java.lang.Object

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

Constructor Detail

AspicWriter

public AspicWriter()

Method Detail

write

public void write(AspicArgumentationTheory<T> theory,
                  File f)
           throws IOException

Writes the given ASPIC+ theory to disk. TODO: any order on inference rules is not yet written.

Parameters:

theory - an ASPIC+ theory

f - a file

Throws:

IOException - if something went wrong.