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 | Class and Description |
---|---|
class |
Assumption<T extends Formula> |
class |
InferenceRule<T extends Formula> |
Modifier and Type | Field and Description |
---|---|
(package private) ABARule<T> |
Deduction.rule |
Modifier and Type | Method and Description |
---|---|
ABARule<T> |
Deduction.getRule() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ABARule<T>> |
Deduction.getRules() |
Modifier and Type | Method and Description |
---|---|
void |
Deduction.setRule(ABARule<T> rule) |
Constructor and Description |
---|
Deduction(java.lang.String name,
ABARule<T> rule,
java.util.Collection<Deduction<T>> subs)
Constructs a new deduction
|