Package | Description |
---|---|
net.sf.tweety.logics.rcl.reasoner |
Modifier and Type | Method and Description |
---|---|
private RelationalRankingFunction |
RelationalBruteForceCReasoner.constructRankingFunction(java.lang.Integer[] kappa,
java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional,
FolSignature signature)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
|
RelationalRankingFunction |
RelationalBruteForceCReasoner.getModel(RclBeliefSet bbase) |
RelationalRankingFunction |
RelationalBruteForceCReasoner.getModel(RclBeliefSet bs,
FolSignature signature)
Retrieves the C representation of the given belief set wrt.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<RelationalRankingFunction> |
RelationalBruteForceCReasoner.getModels(RclBeliefSet bbase) |