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

Packages that use RankingFunction

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

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

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

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"

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

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
java.util.Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)