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 and Description
private RankingFunction	BruteForceCReasoner.constructRankingFunction(ClBeliefSet beliefset, java.lang.Integer[] kappa) Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
RankingFunction	RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	CReasoner.getModel(ClBeliefSet kb)
RankingFunction	BruteForceCReasoner.getModel(ClBeliefSet beliefset)
abstract RankingFunction	AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
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 and Description
java.util.Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)