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 and Description
private RelationalRankingFunction	RelationalBruteForceCReasoner.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	RelationalBruteForceCReasoner.getModel(RclBeliefSet bbase)
RelationalRankingFunction	RelationalBruteForceCReasoner.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 and Description
java.util.Collection<RelationalRankingFunction>	RelationalBruteForceCReasoner.getModels(RclBeliefSet bbase)