Uses of Class
net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Packages that use RelationalRankingFunction Package Description net.sf.tweety.logics.rcl.reasoner -
-
Uses of RelationalRankingFunction in net.sf.tweety.logics.rcl.reasoner
Methods in net.sf.tweety.logics.rcl.reasoner that return RelationalRankingFunction Modifier and Type Method Description private RelationalRankingFunction
SimpleRelationalCReasoner. constructRankingFunction(java.lang.Integer[] kappa, java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional, FolSignature signature)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.RelationalRankingFunction
SimpleRelationalCReasoner. getModel(RclBeliefSet bbase)
RelationalRankingFunction
SimpleRelationalCReasoner. getModel(RclBeliefSet bs, FolSignature signature)
Retrieves the C representation of the given belief set wrt.Methods in net.sf.tweety.logics.rcl.reasoner that return types with arguments of type RelationalRankingFunction Modifier and Type Method Description java.util.Collection<RelationalRankingFunction>
SimpleRelationalCReasoner. getModels(RclBeliefSet bbase)
-