Contents
Index
Dung-1.0.0.1: An implementation of the Dung argumentation frameworks.
Index
a
Language.Dung.Examples
AbsArg
Language.Dung.Examples
acceptable
Language.Dung.AF
admissible
Language.Dung.AF
AF
Language.Dung.AF
allIn
Language.Dung.AF
allOut
Language.Dung.AF
allUndec
Language.Dung.AF
amin
Language.Dung.AF
aplus
Language.Dung.AF
argmin
Language.Dung.AF
argplus
Language.Dung.AF
argToCegartix
Language.Dung.Output
argToStrictCegartix
Language.Dung.Output
atkToCegartix
Language.Dung.Output
atkToStrictCegartix
Language.Dung.Output
attacked
Language.Dung.AF
b
Language.Dung.Examples
c
Language.Dung.Examples
complete
Language.Dung.AF
completeExt
Language.Dung.AF
conflictFree
Language.Dung.AF
d
Language.Dung.Examples
DungAF
Language.Dung.AF
e
Language.Dung.Examples
exampleAF
Language.Dung.Examples
exampleAF2
Language.Dung.Examples
exampleAF3
Language.Dung.Examples
exampleAF4
Language.Dung.Examples
exampleAF5
Language.Dung.Examples
f
Language.Dung.AF
faf
Language.Dung.Examples
grounded
Language.Dung.AF
groundedExt
Language.Dung.AF
groundedF
Language.Dung.AF
illegallyIn
Language.Dung.AF
illegallyOut
Language.Dung.AF
illegallyUndec
Language.Dung.AF
In
Language.Dung.AF
inLab
Language.Dung.AF
isAdmissible
Language.Dung.AF
isComplete
Language.Dung.AF
isPreferred
Language.Dung.AF
isSemiStable
Language.Dung.AF
isStable
Language.Dung.AF
labAttackers
Language.Dung.AF
Labelling
Language.Dung.AF
legallyIn
Language.Dung.AF
legallyOut
Language.Dung.AF
legallyUndec
Language.Dung.AF
Out
Language.Dung.AF
outLab
Language.Dung.AF
output
Language.Dung.Examples
output2
Language.Dung.Examples
output3
Language.Dung.Examples
output4
Language.Dung.Examples
output5
Language.Dung.Examples
pAF
Language.Dung.Input
parseAF
Language.Dung.Input
preferred
Language.Dung.AF
preferredExt
Language.Dung.AF
semiStable
Language.Dung.AF
semiStableExt
Language.Dung.AF
setAttacks
Language.Dung.AF
stable
Language.Dung.AF
stableExt
Language.Dung.AF
Status
Language.Dung.AF
superIllegallyIn
Language.Dung.AF
terminatedTransition
Language.Dung.AF
toCegartix
Language.Dung.Output
toStrictCegartix
Language.Dung.Output
transitionStep
Language.Dung.AF
unattacked
Language.Dung.AF
Undecided
Language.Dung.AF
undecLab
Language.Dung.AF