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:

Comparable<Extension>, Iterable<Argument>, Collection<Argument>, net.sf.tweety.commons.Interpretation<DungTheory,Argument>
```
public class Extension
extends AbstractArgumentationInterpretation
implements Collection<Argument>, Comparable<Extension>
```
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 arg0)`
`boolean`	`contains(Object arg0)`
`boolean`	`containsAll(Collection<?> arg0)`
`boolean`	`equals(Object obj)`
`Extension`	`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 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

- Constructor Detail
  - 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 Detail
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class AbstractArgumentationInterpretation
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<Argument>
    
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Collection<Argument>
    
    Overrides:
    
    equals in class 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 Collection<Argument>
  - addAll
```
public boolean addAll(Collection<? extends Argument> arg0)
```
    Specified by:
    
    addAll in interface Collection<Argument>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<Argument>
  - contains
```
public boolean contains(Object arg0)
```
    Specified by:
    
    contains in interface Collection<Argument>
  - containsAll
```
public boolean containsAll(Collection<?> arg0)
```
    Specified by:
    
    containsAll in interface Collection<Argument>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<Argument>
  - iterator
```
public Iterator<Argument> iterator()
```
    Specified by:
    
    iterator in interface Collection<Argument>
    
    Specified by:
    
    iterator in interface Iterable<Argument>
  - remove
```
public boolean remove(Object arg0)
```
    Specified by:
    
    remove in interface Collection<Argument>
  - removeAll
```
public boolean removeAll(Collection<?> arg0)
```
    Specified by:
    
    removeAll in interface Collection<Argument>
  - retainAll
```
public boolean retainAll(Collection<?> arg0)
```
    Specified by:
    
    retainAll in interface Collection<Argument>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<Argument>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<Argument>
  - toArray
```
public <T> T[] toArray(T[] arg0)
```
    Specified by:
    
    toArray in interface Collection<Argument>
  - compareTo
```
public int compareTo(Extension arg0)
```
    Specified by:
    
    compareTo in interface Comparable<Extension>

Class Extension

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

Constructor Detail

Extension

Extension

Method Detail

toString

hashCode

equals

getArgumentsOfStatus

add

addAll

clear

contains

containsAll

isEmpty

iterator

remove

removeAll

retainAll

size

toArray

toArray

compareTo