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:

Map<Argument,Integer>, net.sf.tweety.commons.Interpretation<DungTheory,Argument>

public class StratifiedLabeling
extends net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>
implements Map<Argument,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

Map.Entry<K extends Object,V extends Object>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(Object arg0)
boolean	containsValue(Object arg0)
Set<Map.Entry<Argument,Integer>>	entrySet()
Integer	get(Object arg0)
boolean	isEmpty()
Set<Argument>	keySet()
Integer	put(Argument arg0, Integer arg1)
void	putAll(Map<? extends Argument,? extends Integer> arg0)
Integer	remove(Object arg0)
boolean	satisfies(Argument formula)
boolean	satisfies(DungTheory beliefBase)
int	size()
String	toString()
Collection<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

Constructor Detail

StratifiedLabeling

public StratifiedLabeling()

Creates a new empty stratified labeling.

Method Detail

clear

public void clear()

Specified by:

clear in interface Map<Argument,Integer>

containsKey

public boolean containsKey(Object arg0)

Specified by:

containsKey in interface Map<Argument,Integer>

containsValue

public boolean containsValue(Object arg0)

Specified by:

containsValue in interface Map<Argument,Integer>

entrySet

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

Specified by:

entrySet in interface Map<Argument,Integer>

get

public Integer get(Object arg0)

Specified by:

get in interface Map<Argument,Integer>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<Argument,Integer>

keySet

public Set<Argument> keySet()

Specified by:

keySet in interface Map<Argument,Integer>

put

public Integer put(Argument arg0,
                   Integer arg1)

Specified by:

put in interface Map<Argument,Integer>

putAll

public void putAll(Map<? extends Argument,? extends Integer> arg0)

Specified by:

putAll in interface Map<Argument,Integer>

remove

public Integer remove(Object arg0)

Specified by:

remove in interface Map<Argument,Integer>

size

public int size()

Specified by:

size in interface Map<Argument,Integer>

values

public Collection<Integer> values()

Specified by:

values in interface Map<Argument,Integer>

satisfies

public boolean satisfies(Argument formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<DungTheory,Argument>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(DungTheory beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<DungTheory,Argument>

Throws:

IllegalArgumentException

toString

public String toString()

Overrides:

toString in class Object