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

Safe HaskellSafe
LanguageHaskell98

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 -> String Source

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

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

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

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

Outputs an argumentation frameworks in CEGARTIX/PrefSat format.

argToStrictCegartix :: Show arg => arg -> String Source

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 Source

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 Source

Outputs an argumentation frameworks in strict CEGARTIX/PrefSat format.