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)
-