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