Class EafTheoryGeneratorExample
java.lang.Object
org.tweetyproject.arg.eaf.examples.EafTheoryGeneratorExample
Demonstrates the generation and export of EAFs
using various generation strategies.
The generated EAFs are written to `.apx` files using EafApxWriter
.
Three approaches are shown:
- Random EAF generation
- Controlled generation with specific structural and semantic properties using
KwtDungTheoryGenerator
- Generation based on a custom, user-defined
DungTheory
The results are saved in separate subfolders under the user's Documents/TweetyProject/EafTheoryGeneratorExample
directory.
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
EafTheoryGeneratorExample
public EafTheoryGeneratorExample()Default constructor (unused).
-
-
Method Details
-
main
Entry point of the program that generates multiple sets of EAFs and stores them as `.apx` files.Three types of EAF datasets are created:
- 20 randomly generated EAFs
- 20 structured EAFs generated using
KwtDungTheoryGenerator
, with controlled semantic properties - 20 EAFs derived from a manually constructed
DungTheory
- Parameters:
args
- command-line arguments (not used)- Throws:
IOException
- if writing any of the generated files fails
-