Uses of Class
net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Packages that use RelationalRankingFunction

Package	Description
net.sf.tweety.logics.rcl

Uses of RelationalRankingFunction in net.sf.tweety.logics.rcl

Fields in net.sf.tweety.logics.rcl declared as RelationalRankingFunction

Modifier and Type	Field and Description
private RelationalRankingFunction	RelationalBruteForceCReasoner.crepresentation The relational c-representation for the given knowledge base.

Methods in net.sf.tweety.logics.rcl that return RelationalRankingFunction

Modifier and Type	Method and Description
private RelationalRankingFunction	RelationalBruteForceCReasoner.computeCRepresentation() Computes a minimal c-representation for this reasoner's knowledge base.
private RelationalRankingFunction	RelationalBruteForceCReasoner.constructRankingFunction(java.lang.Integer[] kappa) Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
RelationalRankingFunction	RelationalBruteForceCReasoner.getCRepresentation() Returns the c-representation this reasoner bases on.