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.