Uses of Class
org.tweetyproject.arg.aba.syntax.Deduction
-
Packages that use Deduction Package Description org.tweetyproject.arg.aba.semantics org.tweetyproject.arg.aba.syntax -
-
Uses of Deduction in org.tweetyproject.arg.aba.semantics
Methods in org.tweetyproject.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 org.tweetyproject.arg.aba.syntax
Methods in org.tweetyproject.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 org.tweetyproject.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)
-