Package net.sf.tweety.arg.aba.syntax

Interface Summary

Interface	Description
ABARule<T extends net.sf.tweety.commons.Formula>

Class Summary

Class	Description
ABATheory<T extends net.sf.tweety.commons.Formula>
Assumption<T extends net.sf.tweety.commons.Formula>
Deduction<T extends net.sf.tweety.commons.Formula>
InferenceRule<T extends net.sf.tweety.commons.Formula>
Negation<T extends net.sf.tweety.commons.Formula>