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