public class Labeling extends AbstractArgumentationInterpretation implements java.util.Map<Argument,ArgumentStatus>
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Argument,ArgumentStatus> |
labeling
The actual labeling.
|
Constructor and Description |
---|
Labeling()
Creates a new labeling.
|
Labeling(DungTheory theory,
Extension ext)
Creates a new labeling from the given extension wrt.
|
Modifier and Type | Method and 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() |
isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies
satisfies
private java.util.Map<Argument,ArgumentStatus> labeling
public Labeling()
public Labeling(DungTheory theory, Extension ext)
theory
- some Dung theory.ext
- an extensionpublic boolean containsKey(java.lang.Object arg0)
containsKey
in interface java.util.Map<Argument,ArgumentStatus>
public boolean containsValue(java.lang.Object arg0)
containsValue
in interface java.util.Map<Argument,ArgumentStatus>
public java.util.Set<java.util.Map.Entry<Argument,ArgumentStatus>> entrySet()
entrySet
in interface java.util.Map<Argument,ArgumentStatus>
public ArgumentStatus get(java.lang.Object arg0)
get
in interface java.util.Map<Argument,ArgumentStatus>
public java.util.Set<Argument> keySet()
keySet
in interface java.util.Map<Argument,ArgumentStatus>
public ArgumentStatus put(Argument arg0, ArgumentStatus arg1)
put
in interface java.util.Map<Argument,ArgumentStatus>
public void putAll(java.util.Map<? extends Argument,? extends ArgumentStatus> arg0)
putAll
in interface java.util.Map<Argument,ArgumentStatus>
public java.util.Collection<ArgumentStatus> values()
values
in interface java.util.Map<Argument,ArgumentStatus>
public void clear()
clear
in interface java.util.Map<Argument,ArgumentStatus>
public boolean isEmpty()
isEmpty
in interface java.util.Map<Argument,ArgumentStatus>
public ArgumentStatus remove(java.lang.Object arg0)
remove
in interface java.util.Map<Argument,ArgumentStatus>
public int size()
size
in interface java.util.Map<Argument,ArgumentStatus>
public Extension getArgumentsOfStatus(ArgumentStatus status)
AbstractArgumentationInterpretation
getArgumentsOfStatus
in class AbstractArgumentationInterpretation
status
- the status of the arguments to be returned.public java.lang.String toString()
toString
in class AbstractArgumentationInterpretation
public int hashCode()
hashCode
in interface java.util.Map<Argument,ArgumentStatus>
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface java.util.Map<Argument,ArgumentStatus>
equals
in class java.lang.Object