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
RelationalRankingFunction	RelationalBruteForceCReasoner.getModel(RclBeliefSet bbase)
RelationalRankingFunction	RelationalBruteForceCReasoner.getModel(RclBeliefSet bs, net.sf.tweety.logics.fol.syntax.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
Collection<RelationalRankingFunction>	RelationalBruteForceCReasoner.getModels(RclBeliefSet bbase)