Package net.sf.tweety.arg.dung.semantics
Class StratifiedLabeling
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>
-
- net.sf.tweety.arg.dung.semantics.StratifiedLabeling
-
- All Implemented Interfaces:
java.util.Map<Argument,java.lang.Integer>
,Interpretation<DungTheory,Argument>
public class StratifiedLabeling extends AbstractInterpretation<DungTheory,Argument> implements java.util.Map<Argument,java.lang.Integer>
This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description StratifiedLabeling()
Creates a new empty stratified labeling.
-
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,java.lang.Integer>>
entrySet()
java.lang.Integer
get(java.lang.Object arg0)
boolean
isEmpty()
java.util.Set<Argument>
keySet()
java.lang.Integer
put(Argument arg0, java.lang.Integer arg1)
void
putAll(java.util.Map<? extends Argument,? extends java.lang.Integer> arg0)
java.lang.Integer
remove(java.lang.Object arg0)
boolean
satisfies(Argument formula)
Checks whether this interpretation satisfies the given formula.boolean
satisfies(DungTheory beliefBase)
Checks whether this interpretation satisfies the given knowledge base.int
size()
java.lang.String
toString()
java.util.Collection<java.lang.Integer>
values()
-
Methods inherited from class net.sf.tweety.commons.AbstractInterpretation
satisfies
-
-
-
-
Method Detail
-
clear
public void clear()
- Specified by:
clear
in interfacejava.util.Map<Argument,java.lang.Integer>
-
containsKey
public boolean containsKey(java.lang.Object arg0)
- Specified by:
containsKey
in interfacejava.util.Map<Argument,java.lang.Integer>
-
containsValue
public boolean containsValue(java.lang.Object arg0)
- Specified by:
containsValue
in interfacejava.util.Map<Argument,java.lang.Integer>
-
entrySet
public java.util.Set<java.util.Map.Entry<Argument,java.lang.Integer>> entrySet()
- Specified by:
entrySet
in interfacejava.util.Map<Argument,java.lang.Integer>
-
get
public java.lang.Integer get(java.lang.Object arg0)
- Specified by:
get
in interfacejava.util.Map<Argument,java.lang.Integer>
-
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interfacejava.util.Map<Argument,java.lang.Integer>
-
keySet
public java.util.Set<Argument> keySet()
- Specified by:
keySet
in interfacejava.util.Map<Argument,java.lang.Integer>
-
put
public java.lang.Integer put(Argument arg0, java.lang.Integer arg1)
- Specified by:
put
in interfacejava.util.Map<Argument,java.lang.Integer>
-
putAll
public void putAll(java.util.Map<? extends Argument,? extends java.lang.Integer> arg0)
- Specified by:
putAll
in interfacejava.util.Map<Argument,java.lang.Integer>
-
remove
public java.lang.Integer remove(java.lang.Object arg0)
- Specified by:
remove
in interfacejava.util.Map<Argument,java.lang.Integer>
-
size
public int size()
- Specified by:
size
in interfacejava.util.Map<Argument,java.lang.Integer>
-
values
public java.util.Collection<java.lang.Integer> values()
- Specified by:
values
in interfacejava.util.Map<Argument,java.lang.Integer>
-
satisfies
public boolean satisfies(Argument formula) throws java.lang.IllegalArgumentException
Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given formula.- Specified by:
satisfies
in interfaceInterpretation<DungTheory,Argument>
- Parameters:
formula
- a formula .- Returns:
- "true" if this interpretation satisfies the given formula.
- Throws:
java.lang.IllegalArgumentException
- if the formula does not correspond to the expected language.
-
satisfies
public boolean satisfies(DungTheory beliefBase) throws java.lang.IllegalArgumentException
Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given knowledge base.- Specified by:
satisfies
in interfaceInterpretation<DungTheory,Argument>
- Parameters:
beliefBase
- a knowledge base.- Returns:
- "true" if this interpretation satisfies the given knowledge base.
- Throws:
java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond to the expected language.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-