Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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.
- argToCegartix :: Show arg => arg -> String
- atkToCegartix :: Show arg => (arg, arg) -> String
- toCegartix :: Show arg => DungAF arg -> String
- argToStrictCegartix :: Show arg => arg -> String
- atkToStrictCegartix :: Show arg => (arg, arg) -> String
- toStrictCegartix :: Show arg => DungAF arg -> String
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.