Interface DungTheoryGenerator

    • 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 interface java.util.Iterator

        forEachRemaining, remove
    • Method Detail

      • next

        DungTheory next​(Argument arg)
        Generates a new Dung theory where the given argument is enforced to be in the grounded extension
        Parameters:
        arg - an argument that is enforced to be in the grounded extension of the generated theory.
        Returns:
        a Dung theory,
      • setSeed

        void setSeed​(long seed)
        Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.
        Parameters:
        seed - some seed.