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) |