Class FileDungTheoryGenerator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.io.File[] files
      The files containing Dung theories.
      private int idx
      The index of the next theory to be returned.
      private boolean loop
      Whether to loop the files indefinitely
      private Parser<DungTheory,​?> parser
      A parser for parsing the files.
    • Constructor Summary

      Constructors 
      Constructor Description
      FileDungTheoryGenerator​(java.io.File[] files, Parser<DungTheory,​?> parser, boolean loop)
      Creates a new theory generator for the given files, which can be parsed by the given parser.
    • Method Summary

      Modifier and Type Method Description
      boolean hasNext()  
      DungTheory next()  
      DungTheory next​(Argument arg)
      Generates a new Dung theory where the given argument is enforced to be in the grounded extension
      void setSeed​(long seed)
      Set the seed for the generation.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove
    • Field Detail

      • files

        private java.io.File[] files
        The files containing Dung theories.
      • parser

        private Parser<DungTheory,​?> parser
        A parser for parsing the files.
      • idx

        private int idx
        The index of the next theory to be returned.
      • loop

        private boolean loop
        Whether to loop the files indefinitely
    • Constructor Detail

      • FileDungTheoryGenerator

        public FileDungTheoryGenerator​(java.io.File[] files,
                                       Parser<DungTheory,​?> parser,
                                       boolean loop)
        Creates a new theory generator for the given files, which can be parsed by the given parser.
        Parameters:
        files - an array of files.
        parser - a parser for the files.
        loop - whether to loop the files indefinitely.