Package org.tweetyproject.arg.dung.semantics

Class Extension<T extends ArgumentationFramework<Argument>>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<T,Argument>

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<T>

org.tweetyproject.arg.dung.semantics.Extension<T>

Type Parameters:

T - The type of argumentation framework

All Implemented Interfaces:

Comparable<Extension<T>>, Iterable<Argument>, Collection<Argument>, Interpretation<T,Argument>, Node

Direct Known Subclasses:

ExecutableExtension

public class Extension<T extends ArgumentationFramework<Argument>>
extends AbstractArgumentationInterpretation<T>
implements Collection<Argument>, Comparable<Extension<T>>, Node

This class models a (possible) extension of a Dung theory, i.e. a set of arguments.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Extension()	Creates a new empty extension.
Extension(Collection<? extends Argument> arguments)	Creates a new extension with the given set of arguments.

Method Summary

Modifier and Type	Method	Description
boolean	add(Argument arg0)
boolean	addAll(Collection<? extends Argument> arg0)
void	clear()
int	compareTo(Extension<T> arg0)
boolean	contains(Object arg0)
boolean	containsAll(Collection<?> arg0)
boolean	equals(Object obj)
Extension<T>	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
int	hashCode()
boolean	isEmpty()
Iterator<Argument>	iterator()
boolean	remove(Object arg0)
boolean	removeAll(Collection<?> arg0)
boolean	retainAll(Collection<?> arg0)
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] arg0)
String	toString()

Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

Extension

public Extension()

Creates a new empty extension.

Extension

public Extension(Collection<? extends Argument> arguments)

Creates a new extension with the given set of arguments.

Parameters:

arguments - a set of arguments

Method Details

toString

public String toString()

Specified by:

toString in class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T extends ArgumentationFramework<Argument>>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<T extends ArgumentationFramework<Argument>>

Overrides:

equals in class Object

getArgumentsOfStatus

public Extension<T> getArgumentsOfStatus(ArgumentStatus status)

Description copied from class: AbstractArgumentationInterpretation

Returns all arguments that have the given status in this interpretation.

Specified by:

getArgumentsOfStatus in class AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

add

public boolean add(Argument arg0)

Specified by:

add in interface Collection<T extends ArgumentationFramework<Argument>>

addAll

public boolean addAll(Collection<? extends Argument> arg0)

Specified by:

addAll in interface Collection<T extends ArgumentationFramework<Argument>>

clear

public void clear()

Specified by:

clear in interface Collection<T extends ArgumentationFramework<Argument>>

contains

public boolean contains(Object arg0)

Specified by:

contains in interface Collection<T extends ArgumentationFramework<Argument>>

containsAll

public boolean containsAll(Collection<?> arg0)

Specified by:

containsAll in interface Collection<T extends ArgumentationFramework<Argument>>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T extends ArgumentationFramework<Argument>>

iterator

public Iterator<Argument> iterator()

Specified by:

iterator in interface Collection<T extends ArgumentationFramework<Argument>>

Specified by:

iterator in interface Iterable<T extends ArgumentationFramework<Argument>>

remove

public boolean remove(Object arg0)

Specified by:

remove in interface Collection<T extends ArgumentationFramework<Argument>>

removeAll

public boolean removeAll(Collection<?> arg0)

Specified by:

removeAll in interface Collection<T extends ArgumentationFramework<Argument>>

retainAll

public boolean retainAll(Collection<?> arg0)

Specified by:

retainAll in interface Collection<T extends ArgumentationFramework<Argument>>

size

public int size()

Specified by:

size in interface Collection<T extends ArgumentationFramework<Argument>>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T extends ArgumentationFramework<Argument>>

toArray

public <T> T[] toArray(T[] arg0)

Specified by:

toArray in interface Collection<T extends ArgumentationFramework<Argument>>

compareTo

public int compareTo(Extension<T> arg0)

Specified by:

compareTo in interface Comparable<T extends ArgumentationFramework<Argument>>