Uses of Class
net.sf.tweety.arg.aba.syntax.Deduction
-
Packages that use Deduction Package Description net.sf.tweety.arg.aba.syntax -
-
Uses of Deduction in net.sf.tweety.arg.aba.syntax
Fields in net.sf.tweety.arg.aba.syntax with type parameters of type Deduction Modifier and Type Field Description (package private) java.util.Collection<Deduction<T>>
Deduction. subs
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)
-