Language.Dung.Output

This is the output module accompanying the implementation of Dung's argumentation frameworks. It allows an implemented argumentation framework to be outputted to files in a standard format.

This module currently contains two output format. The strict version is readable by both CEGARTIX and PrefSat. The lax version keeps more of the original formatting.

CEGARTIX/PrefSat output

argToCegartix :: Show arg => arg -> String

Converts an argument to a CEGARTIX String. All argument names are made into string literals removing extra quotes.

atkToCegartix :: Show arg => (arg, arg) -> String

Converts an attack to a CEGARTIX String. All argument names are made into string literals removing extra quotes.

toCegartix :: Show arg => DungAF arg -> String

Outputs an argumentation frameworks in CEGARTIX/PrefSat format.

argToStrictCegartix :: Show arg => arg -> String

Converts an argument to a CEGARTIX String. All argument names are made into string literals removing extra quotes. Additionally all parentheses are removed.

atkToStrictCegartix :: Show arg => (arg, arg) -> String

Converts an attack to a CEGARTIX String. All argument names are made into string literals removing extra quotes. Additionally all parentheses are removed.

toStrictCegartix :: Show arg => DungAF arg -> String

Outputs an argumentation frameworks in strict CEGARTIX/PrefSat format.