Uses of Class net.sf.tweety.logics.cl.semantics.RankingFunction

Packages that use RankingFunction
Package Description

net.sf.tweety.logics.cl.reasoner

Uses of RankingFunction in net.sf.tweety.logics.cl.reasoner

Methods in net.sf.tweety.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 net.sf.tweety.logics.cl.reasoner that return types with arguments of type RankingFunction
Modifier and Type	Method	Description
`java.util.Collection<RankingFunction>`	AbstractConditionalLogicReasoner.`getModels(ClBeliefSet bbase)`