Package | Description |
---|---|
net.sf.tweety.arg.aba.syntax |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<Deduction<T>> |
Deduction.subs |
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 |
---|---|
void |
Deduction.addSubDeduction(Deduction<T> sub)
Adds a subdeduction
|
boolean |
ABATheory.attacks(Deduction<T> atter,
T atted) |
Constructor and Description |
---|
Deduction(java.lang.String name,
ABARule<T> rule,
java.util.Collection<Deduction<T>> subs)
Constructs a new deduction
|