Class FileDungTheoryGenerator

java.lang.Object
org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
All Implemented Interfaces:
Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,DungTheory>

public class FileDungTheoryGenerator extends Object implements DungTheoryGenerator
This generator receives a list of files containing Dung theories and returns those step by step.
Author:
Matthias Thimm
  • Constructor Details

    • FileDungTheoryGenerator

      public FileDungTheoryGenerator(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.
  • Method Details