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