Uses of Class
net.sf.tweety.arg.aba.syntax.AbaRule
-
Packages that use AbaRule Package Description net.sf.tweety.arg.aba.syntax -
-
Uses of AbaRule in net.sf.tweety.arg.aba.syntax
Subclasses of AbaRule in net.sf.tweety.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 net.sf.tweety.arg.aba.syntax that return AbaRule Modifier and Type Method Description AbaRule<T>
Deduction. getRule()
Methods in net.sf.tweety.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 net.sf.tweety.arg.aba.syntax with parameters of type AbaRule Modifier and Type Method Description void
Deduction. setRule(AbaRule<T> rule)
-