Language.Dung.Examples

Example uses of the basic definitions

type AbsArg

a

b

c

exampleAF

exampleAF2

Example uses of the fixpoint definitions

faf

Example uses of the basic labelling definitions

d

e

exampleAF3

exampleAF4

Example uses of the input functionality

exampleAF5

Example uses of the output functionality

output

output2

output3

output4

output5