Package net.sf.tweety.arg.bipolar.syntax
Class ArgumentSet
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.syntax.ArgumentSet
-
- All Implemented Interfaces:
java.lang.Comparable<ArgumentSet>
,java.lang.Iterable<BArgument>
,java.util.Collection<BArgument>
,BipolarEntity
,DungEntity
,Formula
,Node
public class ArgumentSet extends java.lang.Object implements BipolarEntity, java.util.Collection<BArgument>, java.lang.Comparable<ArgumentSet>
This class models a set of arguments used by bipolar abstract argumentation theory.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description ArgumentSet()
ArgumentSet(java.util.Collection<? extends BArgument> arguments)
ArgumentSet(BArgument argument)
ArgumentSet(Extension ext)
-
Method Summary
Modifier and Type Method Description boolean
add(BArgument arg0)
boolean
addAll(java.util.Collection<? extends BArgument> arg0)
void
clear()
int
compareTo(ArgumentSet arg0)
boolean
contains(java.lang.Object arg0)
boolean
containsAll(java.util.Collection<?> arg0)
boolean
equals(java.lang.Object obj)
LdoFormula
getLdoFormula()
Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.Signature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
boolean
isEmpty()
java.util.Iterator<BArgument>
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()
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfacejava.util.Collection<BArgument>
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfacejava.util.Collection<BArgument>
- Overrides:
equals
in classjava.lang.Object
-
add
public boolean add(BArgument arg0)
- Specified by:
add
in interfacejava.util.Collection<BArgument>
-
addAll
public boolean addAll(java.util.Collection<? extends BArgument> arg0)
- Specified by:
addAll
in interfacejava.util.Collection<BArgument>
-
clear
public void clear()
- Specified by:
clear
in interfacejava.util.Collection<BArgument>
-
contains
public boolean contains(java.lang.Object arg0)
- Specified by:
contains
in interfaceBipolarEntity
- Specified by:
contains
in interfacejava.util.Collection<BArgument>
-
containsAll
public boolean containsAll(java.util.Collection<?> arg0)
- Specified by:
containsAll
in interfacejava.util.Collection<BArgument>
-
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interfacejava.util.Collection<BArgument>
-
iterator
public java.util.Iterator<BArgument> iterator()
-
remove
public boolean remove(java.lang.Object arg0)
- Specified by:
remove
in interfacejava.util.Collection<BArgument>
-
removeAll
public boolean removeAll(java.util.Collection<?> arg0)
- Specified by:
removeAll
in interfacejava.util.Collection<BArgument>
-
retainAll
public boolean retainAll(java.util.Collection<?> arg0)
- Specified by:
retainAll
in interfacejava.util.Collection<BArgument>
-
size
public int size()
- Specified by:
size
in interfacejava.util.Collection<BArgument>
-
toArray
public java.lang.Object[] toArray()
- Specified by:
toArray
in interfacejava.util.Collection<BArgument>
-
toArray
public <T> T[] toArray(T[] arg0)
- Specified by:
toArray
in interfacejava.util.Collection<BArgument>
-
compareTo
public int compareTo(ArgumentSet arg0)
- Specified by:
compareTo
in interfacejava.lang.Comparable<ArgumentSet>
-
getLdoFormula
public LdoFormula getLdoFormula()
Description copied from interface:DungEntity
Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])- Specified by:
getLdoFormula
in interfaceDungEntity
- Returns:
- the logical formula of this entity.
-
getSignature
public Signature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
-