Class Hierarchy
- java.lang.Object
- net.sf.tweety.arg.aba.syntax.ABATheory<T> (implements net.sf.tweety.commons.BeliefBase)
- net.sf.tweety.arg.dung.syntax.Argument (implements net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.graphs.Node)
- net.sf.tweety.arg.aba.syntax.Deduction<T>
- net.sf.tweety.arg.aba.syntax.Assumption<T> (implements net.sf.tweety.arg.aba.syntax.ABARule<T>)
- net.sf.tweety.arg.aba.syntax.InferenceRule<T> (implements net.sf.tweety.arg.aba.syntax.ABARule<T>)
- net.sf.tweety.arg.aba.syntax.Negation<T> (implements net.sf.tweety.commons.Formula)
Interface Hierarchy
- net.sf.tweety.commons.Formula
- net.sf.tweety.commons.util.rules.Rule<C,P>
- net.sf.tweety.arg.aba.syntax.ABARule<T>
- net.sf.tweety.commons.util.rules.Rule<C,P>