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

Classes in org.tweetyproject.logics.rcl.reasoner that implement interfaces with type arguments of type RelationalRankingFunction

Modifier and Type	Class	Description
class	SimpleRelationalCReasoner	This class models a relational brute force c-reasoner for relational conditional logic.

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)