Package org.tweetyproject.arg.aspic.writer

Class AspicWriter<T extends Invertable>

java.lang.Object

org.tweetyproject.arg.aspic.writer.AspicWriter<T>

Type Parameters:

T - the type of formulas

public class AspicWriter<T extends 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

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

Constructor Details

AspicWriter

public AspicWriter()

Method Details

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.