| Package | Description |
|---|---|
| net.sf.tweety.arg.delp.semantics |
| Modifier and Type | Field and Description |
|---|---|
private DialecticalTree |
DialecticalTree.parent
The parent node;
|
| Modifier and Type | Field and Description |
|---|---|
private java.util.Set<DialecticalTree> |
DialecticalTree.children
The children of this node; size=0 indicates a leaf
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<DialecticalTree> |
DialecticalTree.getDefeaters(java.util.Set<DelpArgument> arguments,
DefeasibleLogicProgram delp,
ComparisonCriterion comparisonCriterion)
Computes the set of arguments which are defeaters for the argument in this tree node and returns
the corresponding dialectical tree nodes with these defeaters.
|
| Constructor and Description |
|---|
DialecticalTree(DialecticalTree parent,
DelpArgument argument) |