Labeling (Tweety (Dung Argumentation Library) 1.10 API)

java.lang.Object
- net.sf.tweety.commons.AbstractInterpretation
- - net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
  - - net.sf.tweety.arg.dung.semantics.Labeling

All Implemented Interfaces:

Map<Argument,ArgumentStatus>, net.sf.tweety.commons.Interpretation
```
public class Labeling
extends AbstractArgumentationInterpretation
implements Map<Argument,ArgumentStatus>
```
This class models a labeling of an abstract argumentation framework, i.e. a function mapping arguments to values "in", "out", "undec".

Author:

Matthias Thimm

Nested Class Summary
- Nested classes/interfaces inherited from interface java.util.Map
  Map.Entry<K,V>

Constructor Summary

Constructors
Constructor and Description

Labeling()
Creates a new labeling.

Labeling(DungTheory theory, Extension ext)
Creates a new labeling from the given extension wrt.

Constructors
Constructor and Description
`Labeling()` Creates a new labeling.
`Labeling(DungTheory theory, Extension ext)` Creates a new labeling from the given extension wrt.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`clear()`
`boolean`	`containsKey(Object arg0)`
`boolean`	`containsValue(Object arg0)`
`Set<Map.Entry<Argument,ArgumentStatus>>`	`entrySet()`
`boolean`	`equals(Object obj)`
`ArgumentStatus`	`get(Object arg0)`
`Extension`	`getArgumentsOfStatus(ArgumentStatus status)` Returns all arguments that have the given status in this interpretation.
`int`	`hashCode()`
`boolean`	`isEmpty()`
`Set<Argument>`	`keySet()`
`ArgumentStatus`	`put(Argument arg0, ArgumentStatus arg1)`
`void`	`putAll(Map<? extends Argument,? extends ArgumentStatus> arg0)`
`ArgumentStatus`	`remove(Object arg0)`
`int`	`size()`
`String`	`toString()`
`Collection<ArgumentStatus>`	`values()`

Methods inherited from class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation
satisfies

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

- Constructor Detail
  - Labeling
```
public Labeling()
```
    Creates a new labeling.
  - Labeling
```
public Labeling(DungTheory theory,
                Extension ext)
```
    Creates a new labeling from the given extension wrt. the given theory (this only gives a valid labeling wrt. some semantics if the semantics is admissibility-based).
    
    Parameters:
    
    theory - some Dung theory.
    
    ext - an extension
- Method Detail
  - containsKey
```
public boolean containsKey(Object arg0)
```
    Specified by:
    
    containsKey in interface Map<Argument,ArgumentStatus>
  - containsValue
```
public boolean containsValue(Object arg0)
```
    Specified by:
    
    containsValue in interface Map<Argument,ArgumentStatus>
  - entrySet
```
public Set<Map.Entry<Argument,ArgumentStatus>> entrySet()
```
    Specified by:
    
    entrySet in interface Map<Argument,ArgumentStatus>
  - get
```
public ArgumentStatus get(Object arg0)
```
    Specified by:
    
    get in interface Map<Argument,ArgumentStatus>
  - keySet
```
public Set<Argument> keySet()
```
    Specified by:
    
    keySet in interface Map<Argument,ArgumentStatus>
  - put
```
public ArgumentStatus put(Argument arg0,
                          ArgumentStatus arg1)
```
    Specified by:
    
    put in interface Map<Argument,ArgumentStatus>
  - putAll
```
public void putAll(Map<? extends Argument,? extends ArgumentStatus> arg0)
```
    Specified by:
    
    putAll in interface Map<Argument,ArgumentStatus>
  - values
```
public Collection<ArgumentStatus> values()
```
    Specified by:
    
    values in interface Map<Argument,ArgumentStatus>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Map<Argument,ArgumentStatus>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Map<Argument,ArgumentStatus>
  - remove
```
public ArgumentStatus remove(Object arg0)
```
    Specified by:
    
    remove in interface Map<Argument,ArgumentStatus>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Map<Argument,ArgumentStatus>
  - getArgumentsOfStatus
```
public Extension getArgumentsOfStatus(ArgumentStatus status)
```
    Description copied from class: AbstractArgumentationInterpretation
    
    Returns all arguments that have the given status in this interpretation.
    
    Specified by:
    
    getArgumentsOfStatus in class AbstractArgumentationInterpretation
    
    Parameters:
    
    status - the status of the arguments to be returned.
    
    Returns:
    
    the set of arguments with the given status.
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class AbstractArgumentationInterpretation
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Map<Argument,ArgumentStatus>
    
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Map<Argument,ArgumentStatus>
    
    Overrides:
    
    equals in class Object

Class Labeling

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Map

Constructor Detail

Labeling

Labeling

Method Detail

containsKey

containsValue

entrySet

get

keySet

put

putAll

values

clear

isEmpty

remove

size

getArgumentsOfStatus

toString

hashCode

equals