Constructor and Description |
---|
AbstractDungWriter() |
Modifier and Type | Method and Description |
---|---|
static AbstractDungWriter |
getWriter(FileFormat f)
Retrieves the writer for the given file format.
|
abstract void |
write(DungTheory aaf,
java.io.File f)
Writes the given file into an abstract argumentation framework
|
static java.lang.String |
writeArguments(java.util.Collection<Argument> args)
Writes the given collection of arguments into a string of the form
[arg1,...,argn].
|
static java.lang.String |
writeLabeling(Labeling l)
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
|
public static AbstractDungWriter getWriter(FileFormat f)
f
- some file formatpublic static java.lang.String writeArguments(java.util.Collection<Argument> args)
args
- some collection of argumentspublic static java.lang.String writeLabeling(Labeling l)
l
- some labelingpublic abstract void write(DungTheory aaf, java.io.File f) throws java.io.IOException
aaf
- an abstract argumentation frameworkf
- the file that will be overwritten.java.io.IOException
- for all errors concerning file reading/writing.