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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic AbstractDungWriterRetrieves the writer for the given file format.abstract voidwrite(DungTheory aaf, File f) Writes the given file into an abstract argumentation frameworkstatic StringwriteArguments(Collection<Argument> args) Writes the given collection of arguments into a string of the form [arg1,...,argn].static StringWrites 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
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]- Parameters:
l- some labeling- Returns:
- a string representing the labeling.
-
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.
-