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

Packages that use AbstractDialecticalFrameworkReasoner

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.sat
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
class	CompleteReasoner
class	ConflictFreeReasoner
class	GroundReasoner
class	ModelReasoner
class	NaiveReasoner
class	PreferredReasoner
class	StableReasoner

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

Methods in org.tweetyproject.arg.adf.reasoner.sat that return AbstractDialecticalFrameworkReasoner

Modifier and Type	Method	Description
AbstractDialecticalFrameworkReasoner	Pipeline.asReasoner()

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"