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)