public class ArgumentStructure extends Argument implements java.util.Collection<BasicArgument>
Modifier and Type | Field and Description |
---|---|
private Derivation<BasicArgument> |
derivation
The derivation of this argument structure
|
Constructor and Description |
---|
ArgumentStructure()
Creates a new empty argument structure.
|
ArgumentStructure(java.util.List<BasicArgument> arguments)
Creates a new argument structure with the given list of arguments.
|
ArgumentStructure(java.lang.String name)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
boolean |
add(BasicArgument e) |
boolean |
addAll(java.util.Collection<? extends BasicArgument> c) |
boolean |
attacks(ArgumentStructure other,
StructuredArgumentationFramework saf)
Checks whether this argument structure attacks
the other argument structure, i.e.
|
void |
clear() |
boolean |
contains(java.lang.Object o) |
boolean |
containsAll(java.util.Collection<?> c) |
boolean |
equals(java.lang.Object obj) |
Proposition |
getClaim()
Returns the claim of this argument structure, i.e.
|
BasicArgument |
getTop()
Returns the first basic arguments of
this argument structure
|
int |
hashCode() |
boolean |
isEmpty() |
boolean |
isValid(StructuredArgumentationFramework saf)
Checks whether this argument structure is valid wrt.
|
java.util.Iterator<BasicArgument> |
iterator() |
boolean |
remove(java.lang.Object o) |
boolean |
removeAll(java.util.Collection<?> c) |
boolean |
retainAll(java.util.Collection<?> c) |
int |
size() |
java.lang.Object[] |
toArray() |
<T> T[] |
toArray(T[] a) |
java.lang.String |
toString() |
getLdoArgument, getLdoFormula, getName, getSignature, setName
private Derivation<BasicArgument> derivation
@Deprecated public ArgumentStructure(java.lang.String name)
name
- a stringpublic ArgumentStructure()
public ArgumentStructure(java.util.List<BasicArgument> arguments)
arguments
- a list of basic arguments.public boolean isValid(StructuredArgumentationFramework saf)
saf
- a structured argumentation framework.public boolean attacks(ArgumentStructure other, StructuredArgumentationFramework saf)
other
- an argument structuresaf
- a structured argumentation frameworkpublic Proposition getClaim()
public BasicArgument getTop()
public boolean add(BasicArgument e)
add
in interface java.util.Collection<BasicArgument>
public boolean addAll(java.util.Collection<? extends BasicArgument> c)
addAll
in interface java.util.Collection<BasicArgument>
public void clear()
clear
in interface java.util.Collection<BasicArgument>
public boolean contains(java.lang.Object o)
contains
in interface java.util.Collection<BasicArgument>
public boolean containsAll(java.util.Collection<?> c)
containsAll
in interface java.util.Collection<BasicArgument>
public boolean isEmpty()
isEmpty
in interface java.util.Collection<BasicArgument>
public java.util.Iterator<BasicArgument> iterator()
iterator
in interface java.lang.Iterable<BasicArgument>
iterator
in interface java.util.Collection<BasicArgument>
public boolean remove(java.lang.Object o)
remove
in interface java.util.Collection<BasicArgument>
public boolean removeAll(java.util.Collection<?> c)
removeAll
in interface java.util.Collection<BasicArgument>
public boolean retainAll(java.util.Collection<?> c)
retainAll
in interface java.util.Collection<BasicArgument>
public int size()
size
in interface java.util.Collection<BasicArgument>
public java.lang.Object[] toArray()
toArray
in interface java.util.Collection<BasicArgument>
public <T> T[] toArray(T[] a)
toArray
in interface java.util.Collection<BasicArgument>
public int hashCode()
hashCode
in interface java.util.Collection<BasicArgument>
hashCode
in class Argument
public boolean equals(java.lang.Object obj)
equals
in interface java.util.Collection<BasicArgument>
equals
in class Argument