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
private RankingFunction	SimpleCReasoner.constructRankingFunction(ClBeliefSet beliefset, java.lang.Integer[] kappa)	Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
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)