public class StratifiedLabeling extends AbstractInterpretation implements java.util.Map<Argument,java.lang.Integer>
Modifier and Type | Field and Description |
---|---|
private java.util.HashMap<Argument,java.lang.Integer> |
map
The actual mapping of arguments to integers.
|
Constructor and Description |
---|
StratifiedLabeling()
Creates a new empty stratified labeling.
|
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,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(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
int |
size() |
java.lang.String |
toString() |
java.util.Collection<java.lang.Integer> |
values() |
satisfies
private java.util.HashMap<Argument,java.lang.Integer> map
public StratifiedLabeling()
public void clear()
clear
in interface java.util.Map<Argument,java.lang.Integer>
public boolean containsKey(java.lang.Object arg0)
containsKey
in interface java.util.Map<Argument,java.lang.Integer>
public boolean containsValue(java.lang.Object arg0)
containsValue
in interface java.util.Map<Argument,java.lang.Integer>
public java.util.Set<java.util.Map.Entry<Argument,java.lang.Integer>> entrySet()
entrySet
in interface java.util.Map<Argument,java.lang.Integer>
public java.lang.Integer get(java.lang.Object arg0)
get
in interface java.util.Map<Argument,java.lang.Integer>
public boolean isEmpty()
isEmpty
in interface java.util.Map<Argument,java.lang.Integer>
public java.util.Set<Argument> keySet()
keySet
in interface java.util.Map<Argument,java.lang.Integer>
public java.lang.Integer put(Argument arg0, java.lang.Integer arg1)
put
in interface java.util.Map<Argument,java.lang.Integer>
public void putAll(java.util.Map<? extends Argument,? extends java.lang.Integer> arg0)
putAll
in interface java.util.Map<Argument,java.lang.Integer>
public java.lang.Integer remove(java.lang.Object arg0)
remove
in interface java.util.Map<Argument,java.lang.Integer>
public int size()
size
in interface java.util.Map<Argument,java.lang.Integer>
public java.util.Collection<java.lang.Integer> values()
values
in interface java.util.Map<Argument,java.lang.Integer>
public boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public java.lang.String toString()
toString
in class java.lang.Object