Package | Description |
---|---|
net.sf.tweety.arg.aba.syntax |
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.getAllRules()
Returns all rules appearing in this argument.
|
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)
Constructs a new deduction
|
Deduction(java.lang.String name,
ABARule<T> rule,
java.util.Collection<Deduction<T>> subs)
Constructs a new deduction
|