Package | Description |
---|---|
net.sf.tweety.logics.rcl |
Modifier and Type | Field and Description |
---|---|
private RelationalRankingFunction |
RelationalBruteForceCReasoner.crepresentation
The relational c-representation for the given knowledge base.
|
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.
|