public class FileDungTheoryGenerator extends Object implements DungTheoryGenerator
| Constructor and Description |
|---|
FileDungTheoryGenerator(File[] files,
net.sf.tweety.commons.Parser<DungTheory> parser)
Creates a new theory generator for the given files, which
can be parsed by the given parser.
|
| Modifier and Type | Method and Description |
|---|---|
DungTheory |
generate()
Generates a new Dung theory
|
DungTheory |
generate(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.
|
public FileDungTheoryGenerator(File[] files, net.sf.tweety.commons.Parser<DungTheory> parser)
files - an array of files.parser - a parser for the files.public DungTheory generate()
DungTheoryGeneratorgenerate in interface DungTheoryGeneratorpublic DungTheory generate(Argument arg)
DungTheoryGeneratorgenerate in interface DungTheoryGeneratorarg - an argument that is enforced
to be in the grounded extension of the generated theory.public void setSeed(long seed)
DungTheoryGeneratorsetSeed in interface DungTheoryGeneratorseed - some seed.Copyright © 2018. All rights reserved.