Package net.sf.tweety.arg.aba.reasoner

Class Summary

Class	Description
CompleteReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the complete extensions.
FlatAbaReasoner<T extends Formula>	This class models a reasoner over ABA formulae.
GeneralAbaReasoner<T extends Formula>	This is an abstract generalization over non-flat ABA reasoners.
IdealReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the ideal extension.
PreferredReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the preferred extensions.
StableReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the stable extensions.
WellFoundedReasoner<T extends Formula>	This reasoner for ABA theories performs inference on the ideal extension.