Class AbstractDungWriter
java.lang.Object
org.tweetyproject.arg.dung.writer.AbstractDungWriter
- Direct Known Subclasses:
ApxWriter
,CnfWriter
,Iccma23Writer
,TgfWriter
Writes an abstract argumentation framework into a file
of a specific format.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic AbstractDungWriter
Retrieves the writer for the given file format.abstract void
write
(DungTheory aaf, File f) Writes the given file into an abstract argumentation frameworkstatic String
writeArguments
(Collection<Argument> args) Writes the given collection of arguments into a string of the form [arg1,...,argn].static String
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
-
Constructor Details
-
AbstractDungWriter
public AbstractDungWriter()Default constructor
-
-
Method Details
-
getWriter
Retrieves the writer for the given file format.- Parameters:
f
- some file format- Returns:
- a writer or null if the format is not supported.
-
writeArguments
Writes the given collection of arguments into a string of the form [arg1,...,argn].- Parameters:
args
- some collection of arguments- Returns:
- a string representation of the collection of arguments
-
writeLabeling
-
write
Writes the given file into an abstract argumentation framework- Parameters:
aaf
- an abstract argumentation frameworkf
- the file that will be overwritten.- Throws:
IOException
- for all errors concerning file reading/writing.
-