| Package | Description |
|---|---|
| net.sf.tweety.arg.saf.syntax | |
| net.sf.tweety.arg.saf.util |
| Modifier and Type | Field and Description |
|---|---|
private Derivation<BasicArgument> |
ArgumentStructure.derivation
The derivation of this argument structure
|
| Modifier and Type | Method and Description |
|---|---|
BasicArgument |
ArgumentStructure.getTop()
Returns the first basic arguments of
this argument structure
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Iterator<BasicArgument> |
ArgumentStructure.iterator() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ArgumentStructure.add(BasicArgument e) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ArgumentStructure.addAll(java.util.Collection<? extends BasicArgument> c) |
| Constructor and Description |
|---|
ArgumentStructure(java.util.List<BasicArgument> arguments)
Creates a new argument structure with the given list of arguments.
|
| Modifier and Type | Method and Description |
|---|---|
BasicArgument |
BasicArgumentSampler.randomSample(int formula_length) |