Package | Description |
---|---|
net.sf.tweety.arg.aba | |
net.sf.tweety.arg.aba.syntax |
Modifier and Type | Method and Description |
---|---|
private Deduction<T> |
ABATheory.createDeduction(DigraphNode<ABARule<T>> node,
java.util.Set<Deduction<T>> set)
Recursively creates a deduction and all of its subdeductions
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Deduction<T>> |
ABATheory.getAllDeductions() |
java.util.Collection<Deduction<T>> |
ABATheory.getAllDeductions(java.util.Collection<Assumption<T>> assumptions) |
Modifier and Type | Method and Description |
---|---|
boolean |
ABATheory.attacks(Deduction<T> atter,
T atted) |
Modifier and Type | Method and Description |
---|---|
private Deduction<T> |
ABATheory.createDeduction(DigraphNode<ABARule<T>> node,
java.util.Set<Deduction<T>> set)
Recursively creates a deduction and all of its subdeductions
|
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<Deduction<T>> |
Deduction.subs |
Modifier and Type | Method and Description |
---|---|
void |
Deduction.addSubDeduction(Deduction<T> sub)
Adds a subdeduction
|
Constructor and Description |
---|
Deduction(java.lang.String name,
ABARule<T> rule,
java.util.Collection<Deduction<T>> subs)
Constructs a new deduction
|