Uses of Class
net.sf.tweety.arg.aba.syntax.Deduction
-
Packages that use Deduction Package Description net.sf.tweety.arg.aba.semantics net.sf.tweety.arg.aba.syntax -
-
Uses of Deduction in net.sf.tweety.arg.aba.semantics
Methods in net.sf.tweety.arg.aba.semantics with parameters of type Deduction Modifier and Type Method Description static <T extends Invertable>
booleanAbaAttack. attacks(Deduction<T> attacker, Assumption<T> attacked)
-
Uses of Deduction in net.sf.tweety.arg.aba.syntax
Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type Deduction Modifier and Type Method Description java.util.Collection<Deduction<T>>
AbaTheory. getAllDeductions()
java.util.Collection<Deduction<T>>
AbaTheory. getAllDeductions(java.util.Collection<Assumption<T>> assumptions)
Methods in net.sf.tweety.arg.aba.syntax with parameters of type Deduction Modifier and Type Method Description void
Deduction. addSubDeduction(Deduction<T> sub)
Adds a subdeductionboolean
AbaTheory. attacks(Deduction<T> atter, T atted)
-