Uses of Class
org.tweetyproject.arg.aba.syntax.AbaRule
-
Packages that use AbaRule Package Description org.tweetyproject.arg.aba.syntax -
-
Uses of AbaRule in org.tweetyproject.arg.aba.syntax
Subclasses of AbaRule in org.tweetyproject.arg.aba.syntax Modifier and Type Class Description class
Assumption<T extends Formula>
This class models an assumption of an ABA theory.class
InferenceRule<T extends Formula>
This class models an inference rule from an ABA theory.Methods in org.tweetyproject.arg.aba.syntax that return AbaRule Modifier and Type Method Description AbaRule<T>
Deduction. getRule()
Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type AbaRule Modifier and Type Method Description java.util.Collection<AbaRule<T>>
Deduction. getAllRules()
java.util.Collection<AbaRule<T>>
Deduction. getRules()
Methods in org.tweetyproject.arg.aba.syntax with parameters of type AbaRule Modifier and Type Method Description void
Deduction. setRule(AbaRule<T> rule)
Constructors in org.tweetyproject.arg.aba.syntax with parameters of type AbaRule Constructor Description Deduction(java.lang.String name, AbaRule<T> rule)
Constructs a new deduction.Deduction(java.lang.String name, AbaRule<T> rule, java.util.Collection<Deduction<T>> subs)
Constructs a new deduction.
-