Package net.sf.tweety.arg.dung.semantics

Class Extension

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>

net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

net.sf.tweety.arg.dung.semantics.Extension

All Implemented Interfaces:

java.lang.Comparable<Extension>, java.lang.Iterable<Argument>, java.util.Collection<Argument>, Interpretation<DungTheory,Argument>

Direct Known Subclasses:

ExecutableExtension

public class Extension
extends AbstractArgumentationInterpretation
implements java.util.Collection<Argument>, java.lang.Comparable<Extension>

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Set<Argument>	arguments	The arguments in the extension

Constructor Summary

Constructors

Constructor	Description
Extension()	Creates a new empty extension.
Extension(java.util.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(java.util.Collection<? extends Argument> arg0)
void	clear()
int	compareTo(Extension arg0)
boolean	contains(java.lang.Object arg0)
boolean	containsAll(java.util.Collection<?> arg0)
boolean	equals(java.lang.Object obj)
Extension	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
int	hashCode()
boolean	isEmpty()
java.util.Iterator<Argument>	iterator()
boolean	remove(java.lang.Object arg0)
boolean	removeAll(java.util.Collection<?> arg0)
boolean	retainAll(java.util.Collection<?> arg0)
int	size()
java.lang.Object[]	toArray()
<T> T[]	toArray(T[] arg0)
java.lang.String	toString()

Methods inherited from class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies

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

satisfies

Methods inherited from class java.lang.Object

clone, finalize, 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

Field Detail

arguments

private java.util.Set<Argument> arguments

The arguments in the extension

Constructor Detail

Extension

public Extension()

Creates a new empty extension.

Extension

public Extension(java.util.Collection<? extends Argument> arguments)

Creates a new extension with the given set of arguments.

Parameters:

arguments - a set of arguments

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class AbstractArgumentationInterpretation

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<Argument>

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<Argument>

Overrides:

equals in class java.lang.Object

getArgumentsOfStatus

public Extension 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

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 java.util.Collection<Argument>

addAll

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

Specified by:

addAll in interface java.util.Collection<Argument>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<Argument>

contains

public boolean contains(java.lang.Object arg0)

Specified by:

contains in interface java.util.Collection<Argument>

containsAll

public boolean containsAll(java.util.Collection<?> arg0)

Specified by:

containsAll in interface java.util.Collection<Argument>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<Argument>

iterator

public java.util.Iterator<Argument> iterator()

Specified by:

iterator in interface java.util.Collection<Argument>

Specified by:

iterator in interface java.lang.Iterable<Argument>

remove

public boolean remove(java.lang.Object arg0)

Specified by:

remove in interface java.util.Collection<Argument>

removeAll

public boolean removeAll(java.util.Collection<?> arg0)

Specified by:

removeAll in interface java.util.Collection<Argument>

retainAll

public boolean retainAll(java.util.Collection<?> arg0)

Specified by:

retainAll in interface java.util.Collection<Argument>

size

public int size()

Specified by:

size in interface java.util.Collection<Argument>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<Argument>

toArray

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

Specified by:

toArray in interface java.util.Collection<Argument>

compareTo

public int compareTo(Extension arg0)

Specified by:

compareTo in interface java.lang.Comparable<Extension>