Package org.tweetyproject.arg.dung.writer

Class Iccma23Writer

java.lang.Object

org.tweetyproject.arg.dung.writer.AbstractDungWriter

org.tweetyproject.arg.dung.writer.Iccma23Writer

public class Iccma23Writer
extends AbstractDungWriter

Writes an abstract argumentation framework into a file of the ICCMA23 format, see https://iccma2023.github.io/rules.html#input-format.

NOTE: this format is a slight variation of the CNF format (see CnfWriter)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Iccma23Writer()

Method Summary

Modifier and Type	Method	Description
Argument	getArgument(int i)	Returns the argument mapped to the given integer wrt.
int	getArgumentId(Argument arg)	Returns the mapping of the given argument wrt.
void	write(DungTheory aaf, File f)	Writes the given file into an abstract argumentation framework

Methods inherited from class org.tweetyproject.arg.dung.writer.AbstractDungWriter

getWriter, writeArguments, writeLabeling

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Iccma23Writer

public Iccma23Writer()

Method Details

write

public void write(DungTheory aaf,
 File f)
           throws IOException

Description copied from class: AbstractDungWriter

Writes the given file into an abstract argumentation framework

Specified by:

write in class AbstractDungWriter

Parameters:

aaf - an abstract argumentation framework

f - the file that will be overwritten.

Throws:

IOException - for all errors concerning file reading/writing.

getArgumentId

public int getArgumentId(Argument arg)

Returns the mapping of the given argument wrt. the last written file.

Parameters:

arg - some argument

Returns:

the argument id

getArgument

public Argument getArgument(int i)

Returns the argument mapped to the given integer wrt. the last written file

Parameters:

i - some index

Returns:

the argument