Class AspicGeneratorExample3


  • public class AspicGeneratorExample3
    extends java.lang.Object
    This code shows the use of the ASPIC theory generator. It generates some random ASPIC theories with some parameter combinations and writes them to disk.
    Author:
    Matthias Thimm
    • Method Summary

      Modifier and Type Method Description
      static void main​(java.lang.String[] args)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AspicGeneratorExample3

        public AspicGeneratorExample3()
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException
        Throws:
        java.io.IOException