Package net.sf.tweety.arg.aba.syntax
Class Deduction<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.arg.dung.syntax.Argument
-
- net.sf.tweety.arg.aba.syntax.Deduction<T>
-
- Type Parameters:
T
- is the type of the language that the ABA theory's rules range over
- All Implemented Interfaces:
DungEntity
,Formula
,Node
public class Deduction<T extends Formula> extends Argument
An argument derived from an ABA theory.- Author:
- Nils Geilen
-
-
Method Summary
Modifier and Type Method Description void
addSubDeduction(Deduction<T> sub)
Adds a subdeductionboolean
equals(java.lang.Object obj)
java.util.Collection<T>
getAllConclusions()
java.util.Collection<AbaRule<T>>
getAllRules()
java.util.Collection<T>
getAssumptions()
T
getConclusion()
AbaRule<T>
getRule()
java.util.Collection<AbaRule<T>>
getRules()
int
hashCode()
void
setRule(AbaRule<T> rule)
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument
getLdoArgument, getLdoFormula, getName, getSignature, setName
-
-
-
-
Method Detail
-
getAllRules
public java.util.Collection<AbaRule<T>> getAllRules()
- Returns:
- all rules appearing in this argument.
-
getAllConclusions
public java.util.Collection<T> getAllConclusions()
- Returns:
- all conclusions appearing in this argument.
-
getConclusion
public T getConclusion()
- Returns:
- the conclusion of this deduction
-
getAssumptions
public java.util.Collection<T> getAssumptions()
- Returns:
- all assumptions employed by this deduction
-
addSubDeduction
public void addSubDeduction(Deduction<T> sub)
Adds a subdeduction- Parameters:
sub
- a deduction
-
getRules
public java.util.Collection<AbaRule<T>> getRules()
- Returns:
- all rules used in this deduction
-
-