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
-
-
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
-
-
-
-
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 classAbstractArgumentationInterpretation
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfacejava.util.Collection<Argument>
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfacejava.util.Collection<Argument>
- Overrides:
equals
in classjava.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 classAbstractArgumentationInterpretation
- 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 interfacejava.util.Collection<Argument>
-
addAll
public boolean addAll(java.util.Collection<? extends Argument> arg0)
- Specified by:
addAll
in interfacejava.util.Collection<Argument>
-
clear
public void clear()
- Specified by:
clear
in interfacejava.util.Collection<Argument>
-
contains
public boolean contains(java.lang.Object arg0)
- Specified by:
contains
in interfacejava.util.Collection<Argument>
-
containsAll
public boolean containsAll(java.util.Collection<?> arg0)
- Specified by:
containsAll
in interfacejava.util.Collection<Argument>
-
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interfacejava.util.Collection<Argument>
-
iterator
public java.util.Iterator<Argument> iterator()
-
remove
public boolean remove(java.lang.Object arg0)
- Specified by:
remove
in interfacejava.util.Collection<Argument>
-
removeAll
public boolean removeAll(java.util.Collection<?> arg0)
- Specified by:
removeAll
in interfacejava.util.Collection<Argument>
-
retainAll
public boolean retainAll(java.util.Collection<?> arg0)
- Specified by:
retainAll
in interfacejava.util.Collection<Argument>
-
size
public int size()
- Specified by:
size
in interfacejava.util.Collection<Argument>
-
toArray
public java.lang.Object[] toArray()
- Specified by:
toArray
in interfacejava.util.Collection<Argument>
-
toArray
public <T> T[] toArray(T[] arg0)
- Specified by:
toArray
in interfacejava.util.Collection<Argument>
-
-