Class EafTheoryGenerator

java.lang.Object
org.tweetyproject.arg.eaf.util.EafTheoryGenerator
public class EafTheoryGenerator extends Object
The EafTheoryGenerator class is responsible for generating EpistemicArgumentationFramworks(EAFs) based on a given DungTheory. The class can generate one or multiple EAFs with random epistemic constraints in DNF format.
Author:
Sandra Hoffmann

  • Constructor Details

    • EafTheoryGenerator

      public EafTheoryGenerator()
      Default constructor. Instantiates a default DungTheoryGenerator

    • EafTheoryGenerator

      public EafTheoryGenerator(DungTheoryGenerator generator)
      Constructor with a custom DungTheoryGenerator
      Parameters:
      generator - the custom DungTheoryGenerator to use for generating Dung theories.

  • Method Details

    • hasNext

      public boolean hasNext()
      Checks whether there is a next element.
      Returns:
      whether there is a next element

    • next

      public EpistemicArgumentationFramework next()
      Generates a new EAF using a randomly generated constraint.
      Returns:
      the next EAF with a random constraint.

    • next

      public ArrayList<EpistemicArgumentationFramework> next(int numEAFs)
      Generates numEAFs EAFs, each with a different randomly generated constraint. Each EAF is based on the same (randomly generated) DungTheory.
      Parameters:
      numEAFs - the number of constraints and EAFs to generate.
      Returns:
      a list of EAFs with random constraints.

    • next

      public ArrayList<EpistemicArgumentationFramework> next(DungTheory theory, int numEAFs)
      Generates numEAFs EAFs, each with a different randomly generated constraint. Each EAF is based on the same given DungTheory.
      Parameters:
      theory - the Dung theory for which the EAFs are generated.
      numEAFs - the number of constraints and EAFs to generate.
      Returns:
      a list of EAFs with random constraints based on the given theory.

    • setSeed

      public 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.