Package org.tweetyproject.arg.dung.semantics

Class Labeling

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<ArgumentationFramework,Argument>

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

org.tweetyproject.arg.dung.semantics.Labeling

All Implemented Interfaces:

Map<Argument,ArgumentStatus>, Interpretation<ArgumentationFramework,Argument>

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 extends Object,V extends Object>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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 org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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 Details

Labeling

public Labeling()

Creates a new labeling.

Labeling

public Labeling(ArgumentationFramework 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 Details

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