Dung-1.0: An implementation of the Dung argumentation frameworks.

Safe HaskellSafe-Inferred

Language.Dung.Output

Contents

Description

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.

Synopsis

CEGARTIX/PrefSat output

argToCegartix :: Show arg => arg -> StringSource

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

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

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

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

Outputs an argumentation frameworks in CEGARTIX/PrefSat format.

argToStrictCegartix :: Show arg => arg -> StringSource

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) -> StringSource

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 -> StringSource

Outputs an argumentation frameworks in strict CEGARTIX/PrefSat format.