dung

Documentation

Index

• func EqualArgSetSlices(l1, l2 []ArgSet) bool
• type AF
  • func NewAF(args []Arg, atks map[Arg][]Arg) AF
  • func (af *AF) Args() []Arg
  • func (af *AF) Atks() map[Arg][]Arg
  • func (af *AF) CompleteExtensions() []ArgSet
  • func (af *AF) CredulouslyInferred(s Semantics, arg Arg) bool
  • func (af1 AF) Equals(af2 AF) bool
  • func (af *AF) Find(pred func(ArgSet) bool) (ArgSet, bool)
  • func (af *AF) GroundedExtension() ArgSet
  • func (af *AF) PreferredExtensions() []ArgSet
  • func (af *AF) SkepticallyInferred(s Semantics, arg Arg) bool
  • func (af *AF) SomeExtension(s Semantics) (ArgSet, bool)
  • func (af *AF) StableExtensions() []ArgSet
  • func (af *AF) String() string
  • func (af *AF) Traverse(f func(L ArgSet))
• type Arg
  • func (arg Arg) String() string
• type ArgSet
  • func NewArgSet(args ...Arg) ArgSet
  • func (args1 ArgSet) Add(arg Arg) ArgSet
  • func (args ArgSet) Contains(arg Arg) bool
  • func (args1 ArgSet) Copy() ArgSet
  • func (args1 ArgSet) Equals(args2 ArgSet) bool
  • func (args1 ArgSet) Remove(arg Arg) ArgSet
  • func (args ArgSet) Size() int
  • func (args ArgSet) String() string
  • func (args1 ArgSet) Subset(args2 ArgSet) bool
• type Label
  • func (l Label) String() string
• type Labelling
  • func NewLabelling() Labelling
  • func (l Labelling) AsExtension() ArgSet
  • func (l Labelling) Get(arg Arg) Label
• type Semantics

Functions

func EqualArgSetSlices

func EqualArgSetSlices(l1, l2 []ArgSet) bool

EqualArgSetSlices: returns true iff for every ArgSet in l1 there is an equal ArgSet in l2

Types

type AF

type AF struct {
	// contains filtered or unexported fields
}

Argumentation Framework

func NewAF

func NewAF(args []Arg, atks map[Arg][]Arg) AF

func (*AF) Args

func (af *AF) Args() []Arg

func (*AF) Atks

func (af *AF) Atks() map[Arg][]Arg

func (*AF) CompleteExtensions

func (af *AF) CompleteExtensions() []ArgSet

func (*AF) CredulouslyInferred

func (af *AF) CredulouslyInferred(s Semantics, arg Arg) bool

func (AF) Equals

func (af1 AF) Equals(af2 AF) bool

func (*AF) Find

func (af *AF) Find(pred func(ArgSet) bool) (ArgSet, bool)

Find the first subset of the args of an AF, starting with the empty set, which satifies the given predicate. The boolean value returned is false if no such ArgSet was found.

func (*AF) GroundedExtension

func (af *AF) GroundedExtension() ArgSet

func (*AF) PreferredExtensions

func (af *AF) PreferredExtensions() []ArgSet

func (*AF) SkepticallyInferred

func (af *AF) SkepticallyInferred(s Semantics, arg Arg) bool

func (*AF) SomeExtension

func (af *AF) SomeExtension(s Semantics) (ArgSet, bool)

Returns an extension of the AF with the given semantics, if one exists. The boolean value returned is false if no extension exists for the chosen semantics.

func (*AF) StableExtensions

func (af *AF) StableExtensions() []ArgSet

func (*AF) String

func (af *AF) String() string

func (*AF) Traverse

func (af *AF) Traverse(f func(L ArgSet))

Traverse subsets of the args of an AF, starting with the empty set. Visit each subset exactly once.

type Arg

type Arg string

func (Arg) String

func (arg Arg) String() string

type ArgSet

type ArgSet map[Arg]bool

func NewArgSet

func NewArgSet(args ...Arg) ArgSet

func (ArgSet) Add

func (args1 ArgSet) Add(arg Arg) ArgSet

Add an argument to an ArgSet, nondestructively. Returns the input set if the arg was already a member.

func (ArgSet) Contains

func (args ArgSet) Contains(arg Arg) bool

func (ArgSet) Copy

func (args1 ArgSet) Copy() ArgSet

func (ArgSet) Equals

func (args1 ArgSet) Equals(args2 ArgSet) bool

func (ArgSet) Remove

func (args1 ArgSet) Remove(arg Arg) ArgSet

Removes an element from an ArgSet, nondestructively. Returns the input set unchanged if the arg was not a member.

func (ArgSet) Size

func (args ArgSet) Size() int

func (ArgSet) String

func (args ArgSet) String() string

func (ArgSet) Subset

func (args1 ArgSet) Subset(args2 ArgSet) bool

type Label

type Label int

const (
	Out Label = iota
	In
	Undecided
)

func (Label) String

func (l Label) String() string

type Labelling

type Labelling map[Arg]Label

func NewLabelling

func NewLabelling() Labelling

func (Labelling) AsExtension

func (l Labelling) AsExtension() ArgSet

func (Labelling) Get

func (l Labelling) Get(arg Arg) Label

type Semantics

type Semantics int

const (
	Grounded Semantics = iota
	Complete
	Preferred
	Stable
)