Class IsoSafeEnumeratingDungTheoryGenerator

  • All Implemented Interfaces:
    java.util.Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,​DungTheory>

    public class IsoSafeEnumeratingDungTheoryGenerator
    extends java.lang.Object
    implements DungTheoryGenerator
    This generator generators all possible Dung argumentation theories (modulo graph isomorphism). It starts with the argumentation frameworks just consisting of one arguments and then increases their size.
    Author:
    Matthias Thimm
    • 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

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

        forEachRemaining, remove