public class Extension extends AbstractArgumentationInterpretation implements java.util.Collection<Argument>, java.lang.Comparable<Extension>
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Argument> |
arguments
The arguments in the extension
|
Constructor and Description |
---|
Extension()
Creates a new empty extension.
|
Extension(java.util.Collection<? extends Argument> arguments)
Creates a new extension with the given set of arguments.
|
Modifier and Type | Method and 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() |
isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies
satisfies
private java.util.Set<Argument> arguments
public Extension()
public Extension(java.util.Collection<? extends Argument> arguments)
arguments
- a set of argumentspublic java.lang.String toString()
toString
in class AbstractArgumentationInterpretation
public int hashCode()
hashCode
in interface java.util.Collection<Argument>
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface java.util.Collection<Argument>
equals
in class java.lang.Object
public Extension getArgumentsOfStatus(ArgumentStatus status)
AbstractArgumentationInterpretation
getArgumentsOfStatus
in class AbstractArgumentationInterpretation
status
- the status of the arguments to be returned.public boolean addAll(java.util.Collection<? extends Argument> arg0)
addAll
in interface java.util.Collection<Argument>
public void clear()
clear
in interface java.util.Collection<Argument>
public boolean contains(java.lang.Object arg0)
contains
in interface java.util.Collection<Argument>
public boolean containsAll(java.util.Collection<?> arg0)
containsAll
in interface java.util.Collection<Argument>
public boolean isEmpty()
isEmpty
in interface java.util.Collection<Argument>
public java.util.Iterator<Argument> iterator()
public boolean remove(java.lang.Object arg0)
remove
in interface java.util.Collection<Argument>
public boolean removeAll(java.util.Collection<?> arg0)
removeAll
in interface java.util.Collection<Argument>
public boolean retainAll(java.util.Collection<?> arg0)
retainAll
in interface java.util.Collection<Argument>
public int size()
size
in interface java.util.Collection<Argument>
public java.lang.Object[] toArray()
toArray
in interface java.util.Collection<Argument>
public <T> T[] toArray(T[] arg0)
toArray
in interface java.util.Collection<Argument>