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

Index

aLanguage.Dung.Examples
AbsArgLanguage.Dung.Examples
acceptableLanguage.Dung.AF
admissibleLanguage.Dung.AF
AFLanguage.Dung.AF
allInLanguage.Dung.AF
allOutLanguage.Dung.AF
allUndecLanguage.Dung.AF
aminLanguage.Dung.AF
aplusLanguage.Dung.AF
argminLanguage.Dung.AF
argplusLanguage.Dung.AF
argToCegartixLanguage.Dung.Output
argToStrictCegartixLanguage.Dung.Output
atkToCegartixLanguage.Dung.Output
atkToStrictCegartixLanguage.Dung.Output
attackedLanguage.Dung.AF
bLanguage.Dung.Examples
cLanguage.Dung.Examples
completeLanguage.Dung.AF
completeExtLanguage.Dung.AF
completeFLanguage.Dung.AF
conflictFreeLanguage.Dung.AF
dLanguage.Dung.Examples
DungAFLanguage.Dung.AF
eLanguage.Dung.Examples
exampleAFLanguage.Dung.Examples
exampleAF2Language.Dung.Examples
exampleAF3Language.Dung.Examples
exampleAF4Language.Dung.Examples
exampleAF5Language.Dung.Examples
fLanguage.Dung.AF
fafLanguage.Dung.Examples
groundedLanguage.Dung.AF
groundedExtLanguage.Dung.AF
groundedFLanguage.Dung.AF
groundedF'Language.Dung.AF
illegallyInLanguage.Dung.AF
illegallyOutLanguage.Dung.AF
illegallyUndecLanguage.Dung.AF
InLanguage.Dung.AF
inLabLanguage.Dung.AF
isAdmissibleLanguage.Dung.AF
isCompleteLanguage.Dung.AF
isPreferredLanguage.Dung.AF
isPreferredExtLanguage.Dung.AF
isSemiStableLanguage.Dung.AF
isStableLanguage.Dung.AF
isStableExtLanguage.Dung.AF
labAttackersLanguage.Dung.AF
LabellingLanguage.Dung.AF
legallyInLanguage.Dung.AF
legallyOutLanguage.Dung.AF
legallyUndecLanguage.Dung.AF
OutLanguage.Dung.AF
outLabLanguage.Dung.AF
outputLanguage.Dung.Examples
output2Language.Dung.Examples
output3Language.Dung.Examples
output4Language.Dung.Examples
output5Language.Dung.Examples
pAFLanguage.Dung.Input
parseAFLanguage.Dung.Input
powerLabelLanguage.Dung.AF
preferredLanguage.Dung.AF
preferredExtLanguage.Dung.AF
preferredFLanguage.Dung.AF
semiStableLanguage.Dung.AF
semiStableExtLanguage.Dung.AF
setAttacksLanguage.Dung.AF
stableLanguage.Dung.AF
stableExtLanguage.Dung.AF
stableFLanguage.Dung.AF
StatusLanguage.Dung.AF
superIllegallyInLanguage.Dung.AF
terminatedTransitionLanguage.Dung.AF
toCegartixLanguage.Dung.Output
toStrictCegartixLanguage.Dung.Output
transitionStepLanguage.Dung.AF
unattackedLanguage.Dung.AF
UndecidedLanguage.Dung.AF
undecLabLanguage.Dung.AF