net.sf.tweety.arg.dung.semantics

Class StratifiedLabeling

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.arg.dung.semantics.StratifiedLabeling

All Implemented Interfaces:

java.util.Map<Argument,java.lang.Integer>, Interpretation

public class StratifiedLabeling
extends AbstractInterpretation
implements java.util.Map<Argument,java.lang.Integer>

This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashMap<Argument,java.lang.Integer>	map The actual mapping of arguments to integers.

Constructor Summary

Constructors

Constructor and Description
StratifiedLabeling() Creates a new empty stratified labeling.

Method Summary

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()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll

Field Detail

map

private java.util.HashMap<Argument,java.lang.Integer> map

The actual mapping of arguments to integers.

Constructor Detail

StratifiedLabeling

public StratifiedLabeling()

Creates a new empty stratified labeling.

Method Detail

clear

public void clear()

Specified by:

clear in interface java.util.Map<Argument,java.lang.Integer>

containsKey

public boolean containsKey(java.lang.Object arg0)

Specified by:

containsKey in interface java.util.Map<Argument,java.lang.Integer>

containsValue

public boolean containsValue(java.lang.Object arg0)

Specified by:

containsValue in interface java.util.Map<Argument,java.lang.Integer>

entrySet

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

Specified by:

entrySet in interface java.util.Map<Argument,java.lang.Integer>

get

public java.lang.Integer get(java.lang.Object arg0)

Specified by:

get in interface java.util.Map<Argument,java.lang.Integer>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<Argument,java.lang.Integer>

keySet

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

Specified by:

keySet in interface java.util.Map<Argument,java.lang.Integer>

put

public java.lang.Integer put(Argument arg0,
                             java.lang.Integer arg1)

Specified by:

put in interface java.util.Map<Argument,java.lang.Integer>

putAll

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

Specified by:

putAll in interface java.util.Map<Argument,java.lang.Integer>

remove

public java.lang.Integer remove(java.lang.Object arg0)

Specified by:

remove in interface java.util.Map<Argument,java.lang.Integer>

size

public int size()

Specified by:

size in interface java.util.Map<Argument,java.lang.Integer>

values

public java.util.Collection<java.lang.Integer> values()

Specified by:

values in interface java.util.Map<Argument,java.lang.Integer>

satisfies

public boolean satisfies(Formula formula)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation

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(BeliefBase beliefBase)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation

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 class java.lang.Object