Uses of Class
org.tweetyproject.arg.aba.syntax.Deduction
-
Uses of Deduction in org.tweetyproject.arg.aba.semantics
Modifier and TypeMethodDescriptionstatic <T extends Invertable>
booleanAbaAttack.attacks(Deduction<T> attacker, Assumption<T> attacked)
-
Uses of Deduction in org.tweetyproject.arg.aba.syntax
Modifier and TypeMethodDescriptionAbaTheory.getAllDeductions()
AbaTheory.getAllDeductions(Collection<Assumption<T>> assumptions)
Modifier and TypeMethodDescriptionvoid
Deduction.addSubDeduction(Deduction<T> sub)
Adds a subdeductionboolean