Package org.tweetyproject.arg.aspic.writer

Class AspicWriter<T extends Invertable>

  • 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.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AspicWriter

        public AspicWriter()

    • 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+ theory
        f - a file
        Throws:
        java.io.IOException - if something went wrong.