Dung-1.1: An implementation of the Dung argumentation frameworks. (Index)

Dung-1.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
completeF	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
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
isPreferredExt	Language.Dung.AF
isSemiStable	Language.Dung.AF
isStable	Language.Dung.AF
isStableExt	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
powerLabel	Language.Dung.AF
preferred	Language.Dung.AF
preferredExt	Language.Dung.AF
preferredF	Language.Dung.AF
semiStable	Language.Dung.AF
semiStableExt	Language.Dung.AF
setAttacks	Language.Dung.AF
stable	Language.Dung.AF
stableExt	Language.Dung.AF
stableF	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