Package net.sf.tweety.arg.dung.semantics
Class Labeling
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>
-
- net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
-
- net.sf.tweety.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
-
-
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 net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies
-
Methods inherited from class net.sf.tweety.commons.AbstractInterpretation
satisfies
-
-
-
-
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 interfacejava.util.Map<Argument,ArgumentStatus>
-
containsValue
public boolean containsValue(java.lang.Object arg0)
- Specified by:
containsValue
in interfacejava.util.Map<Argument,ArgumentStatus>
-
entrySet
public java.util.Set<java.util.Map.Entry<Argument,ArgumentStatus>> entrySet()
- Specified by:
entrySet
in interfacejava.util.Map<Argument,ArgumentStatus>
-
get
public ArgumentStatus get(java.lang.Object arg0)
- Specified by:
get
in interfacejava.util.Map<Argument,ArgumentStatus>
-
keySet
public java.util.Set<Argument> keySet()
- Specified by:
keySet
in interfacejava.util.Map<Argument,ArgumentStatus>
-
put
public ArgumentStatus put(Argument arg0, ArgumentStatus arg1)
- Specified by:
put
in interfacejava.util.Map<Argument,ArgumentStatus>
-
putAll
public void putAll(java.util.Map<? extends Argument,? extends ArgumentStatus> arg0)
- Specified by:
putAll
in interfacejava.util.Map<Argument,ArgumentStatus>
-
values
public java.util.Collection<ArgumentStatus> values()
- Specified by:
values
in interfacejava.util.Map<Argument,ArgumentStatus>
-
clear
public void clear()
- Specified by:
clear
in interfacejava.util.Map<Argument,ArgumentStatus>
-
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interfacejava.util.Map<Argument,ArgumentStatus>
-
remove
public ArgumentStatus remove(java.lang.Object arg0)
- Specified by:
remove
in interfacejava.util.Map<Argument,ArgumentStatus>
-
size
public int size()
- Specified by:
size
in interfacejava.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 classAbstractArgumentationInterpretation
- 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 classAbstractArgumentationInterpretation
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfacejava.util.Map<Argument,ArgumentStatus>
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfacejava.util.Map<Argument,ArgumentStatus>
- Overrides:
equals
in classjava.lang.Object
-
-