Package org.tweetyproject.arg.aba.reasoner
package org.tweetyproject.arg.aba.reasoner
-
ClassesClassDescriptionCompleteReasoner<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.