Uses of Class
org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction

Packages that use RelationalRankingFunction

Package	Description
org.tweetyproject.logics.rcl.reasoner

Uses of RelationalRankingFunction in org.tweetyproject.logics.rcl.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.logics.rcl.reasoner that return types with arguments of type RelationalRankingFunction

Modifier and Type	Method	Description
Collection<RelationalRankingFunction>	SimpleRelationalCReasoner.getModels(RclBeliefSet bbase)