Package org.tweetyproject.arg.dung.semantics

Class MinMaxNumbering

java.lang.Object

org.tweetyproject.arg.dung.semantics.MinMaxNumbering

All Implemented Interfaces:

Map<Argument,Integer>

public class MinMaxNumbering
extends Object
implements Map<Argument,Integer>

Represents min-max numberings for labelings of argumentation frameworks.

Author:

Lars Bengel

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
MinMaxNumbering()	Initializes a new empty Min-Max Numbering
MinMaxNumbering(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> extension)	Initializes a new Min-Max Numbering for the given theory and extension
MinMaxNumbering(ArgumentationFramework<Argument> theory, Labeling labeling)	Initialize a new Min-Max Numbering from the given theory and labeling

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsKey(Object key)
boolean	containsValue(Object value)
Set<Map.Entry<Argument,Integer>>	entrySet()
Integer	get(Object key)
Collection<Argument>	getArgumentsOfRank(Integer value)	Retrieves a collection of arguments that have the specified rank value.
boolean	isEmpty()
Set<Argument>	keySet()
Integer	put(Argument key, Integer value)
void	putAll(Map<? extends Argument,? extends Integer> m)
Integer	remove(Object key)
int	size()
String	toString()
Collection<Integer>	values()

Methods inherited from class java.lang.Object

equals, 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 Details

MinMaxNumbering

public MinMaxNumbering()

Initializes a new empty Min-Max Numbering

MinMaxNumbering

public MinMaxNumbering(ArgumentationFramework<Argument> theory,
 Extension<? extends ArgumentationFramework<Argument>> extension)

Initializes a new Min-Max Numbering for the given theory and extension

Parameters:

theory - some argumentation framework

extension - some extension

MinMaxNumbering

public MinMaxNumbering(ArgumentationFramework<Argument> theory,
 Labeling labeling)

Initialize a new Min-Max Numbering from the given theory and labeling

Parameters:

theory - some argumentation framework

labeling - some labeling

Method Details

getArgumentsOfRank

public Collection<Argument> getArgumentsOfRank(Integer value)

Retrieves a collection of arguments that have the specified rank value.

This method iterates through the internal ranking of arguments and collects all arguments that have a rank equal to the provided value. The resulting collection of arguments is returned as an Extension object, which is a specialized collection for handling sets of arguments.

Parameters:

value - The rank value to match against the arguments' ranks.

Returns:

A collection of Argument objects that have the specified rank value.

size

public int size()

Specified by:

size in interface Map<Argument,Integer>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<Argument,Integer>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<Argument,Integer>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<Argument,Integer>

get

public Integer get(Object key)

Specified by:

get in interface Map<Argument,Integer>

put

public Integer put(Argument key,
 Integer value)

Specified by:

put in interface Map<Argument,Integer>

remove

public Integer remove(Object key)

Specified by:

remove in interface Map<Argument,Integer>

putAll

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

Specified by:

putAll in interface Map<Argument,Integer>

clear

public void clear()

Specified by:

clear in interface Map<Argument,Integer>

keySet

public Set<Argument> keySet()

Specified by:

keySet in interface Map<Argument,Integer>

values

public Collection<Integer> values()

Specified by:

values in interface Map<Argument,Integer>

entrySet

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

Specified by:

entrySet in interface Map<Argument,Integer>

toString

public String toString()

Overrides:

toString in class Object