Package net.sf.tweety.arg.aspic.writer
Class AspicWriter<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.writer.AspicWriter<T>
-
- Type Parameters:
T
- the type of formulas
public class AspicWriter<T extends Invertable> extends java.lang.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, java.io.File f)
Writes the given ASPIC+ theory to disk.
-
-
-
Method Detail
-
write
public void write(AspicArgumentationTheory<T> theory, java.io.File f) throws java.io.IOException
Writes the given ASPIC+ theory to disk. TODO: any order on inference rules is not yet written.- Parameters:
theory
- an ASPIC+ theoryf
- a file- Throws:
java.io.IOException
- if something went wrong.
-
-