Language.Dung.AF

Basic definitions

data DungAF arg

setAttacks

aplus

amin

argplus

argmin

conflictFree

acceptable

f

admissible

Grounded, complete, preferred and stable semantics through fixpoints

groundedF

groundedF'

completeF

preferredF

stableF

Definitions of a preferred and stable extension

isPreferredExt

isStableExt

Basic labelling definitions

data Status

type Labelling arg

inLab

outLab

undecLab

allIn

allOut

allUndec

powerLabel

unattacked

attacked

labAttackers

illegallyIn

illegallyOut

illegallyUndec

legallyIn

legallyOut

legallyUndec

isAdmissible

isComplete

isPreferred

isStable

isSemiStable

transitionStep

terminatedTransition

superIllegallyIn

Grounded, preferred, semi-stable and stable labellings

grounded

groundedExt

complete

preferred

stable

semiStable

completeExt

preferredExt

stableExt

semiStableExt