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