Uses of Class
org.tweetyproject.logics.cl.semantics.RankingFunction

Packages that use RankingFunction

Package	Description
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.translators.adfcl

Uses of RankingFunction in org.tweetyproject.logics.cl.reasoner

Classes in org.tweetyproject.logics.cl.reasoner that implement interfaces with type arguments of type RankingFunction

Modifier and Type	Class	Description
class	AbstractConditionalLogicReasoner	Abstract ancestor for all reasoner for conditional logic.

Methods in org.tweetyproject.logics.cl.reasoner that return RankingFunction

Modifier and Type	Method	Description
abstract RankingFunction	AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
RankingFunction	CReasoner.getModel(ClBeliefSet kb)
RankingFunction	RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	SimpleCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	ZReasoner.getModel(ClBeliefSet beliefset)

Methods in org.tweetyproject.logics.cl.reasoner that return types with arguments of type RankingFunction

Modifier and Type	Method	Description
Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)

Uses of RankingFunction in org.tweetyproject.logics.translators.adfcl

Methods in org.tweetyproject.logics.translators.adfcl with parameters of type RankingFunction

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