Uses of Class
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

Packages that use AbstractDialecticalFrameworkReasoner

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.logics.cl.examples

Uses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.arg.adf.reasoner

Subclasses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.arg.adf.reasoner

Modifier and Type	Class	Description
class	AdmissibleReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	CompleteReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	ConflictFreeReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	GroundReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	ModelReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	NaiveReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	PreferredReasoner	Deprecated, for removal: This API element is subject to removal in a future version.
class	StableReasoner	Deprecated, for removal: This API element is subject to removal in a future version.

Uses of AbstractDialecticalFrameworkReasoner in org.tweetyproject.logics.cl.examples

Methods in org.tweetyproject.logics.cl.examples with parameters of type AbstractDialecticalFrameworkReasoner

Modifier and Type	Method	Description
static void	ADF_OCF_comparison_example.compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)	Compare the inference behavior of ADF "adf" and Ranking function "kappa"