Uses of Package
org.tweetyproject.arg.dung.reasoner

Packages that use org.tweetyproject.arg.dung.reasoner

Package	Description
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.dung.learning
org.tweetyproject.arg.dung.principles
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.saf.reasoner

Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.aspic.reasoner

Class	Description
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.

Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.learning

Class	Description
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.

Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.principles

Class	Description
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.

Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.dung.reasoner

Class	Description
AbstractAcceptabilityReasoner	Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt.
AbstractClaimBasedReasoner
AbstractDungReasoner	Ancestor class for all AAF reasoners.
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.
AbstractSatExtensionReasoner	Uses a provided SAT solver to solve reasoning problems in AAFs.
ProboProblem	This enum contains all supported problems for probo-based reasoner.
ProboProblem.SubProblem	The actual computational sub-problem.

Classes in org.tweetyproject.arg.dung.reasoner used by org.tweetyproject.arg.saf.reasoner

Class	Description
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.