Package org.tweetyproject.arg.dung.semantics

Class Labeling

java.lang.Object

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

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

org.tweetyproject.arg.dung.semantics.Labeling

All Implemented Interfaces:

java.util.Map<Argument,ArgumentStatus>, Interpretation<DungTheory,Argument>

public class Labeling
extends AbstractArgumentationInterpretation
implements java.util.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

java.util.Map.Entry<K extends java.lang.Object,V extends java.lang.Object>

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

isAcceptable, isAdmissable, isConflictFree, 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 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(java.lang.Object arg0)

Specified by:

containsKey in interface java.util.Map<Argument,ArgumentStatus>

containsValue

public boolean containsValue(java.lang.Object arg0)

Specified by:

containsValue in interface java.util.Map<Argument,ArgumentStatus>

entrySet

public java.util.Set<java.util.Map.Entry<Argument,ArgumentStatus>> entrySet()

Specified by:

entrySet in interface java.util.Map<Argument,ArgumentStatus>

get

public ArgumentStatus get(java.lang.Object arg0)

Specified by:

get in interface java.util.Map<Argument,ArgumentStatus>

keySet

public java.util.Set<Argument> keySet()

Specified by:

keySet in interface java.util.Map<Argument,ArgumentStatus>

put

public ArgumentStatus put(Argument arg0,
                          ArgumentStatus arg1)

Specified by:

put in interface java.util.Map<Argument,ArgumentStatus>

putAll

public void putAll(java.util.Map<? extends Argument,? extends ArgumentStatus> arg0)

Specified by:

putAll in interface java.util.Map<Argument,ArgumentStatus>

values

public java.util.Collection<ArgumentStatus> values()

Specified by:

values in interface java.util.Map<Argument,ArgumentStatus>

clear

public void clear()

Specified by:

clear in interface java.util.Map<Argument,ArgumentStatus>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<Argument,ArgumentStatus>

remove

public ArgumentStatus remove(java.lang.Object arg0)

Specified by:

remove in interface java.util.Map<Argument,ArgumentStatus>

size

public int size()

Specified by:

size in interface java.util.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 java.lang.String toString()

Specified by:

toString in class AbstractArgumentationInterpretation

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Map<Argument,ArgumentStatus>

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Map<Argument,ArgumentStatus>

Overrides:

equals in class java.lang.Object