| Package | Description |
|---|---|
| net.sf.tweety.logics.rcl.reasoner |
| Modifier and Type | Method and Description |
|---|---|
RelationalRankingFunction |
SimpleRelationalCReasoner.getModel(RclBeliefSet bbase) |
RelationalRankingFunction |
SimpleRelationalCReasoner.getModel(RclBeliefSet bs,
net.sf.tweety.logics.fol.syntax.FolSignature signature)
Retrieves the C representation of the given belief set wrt.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<RelationalRankingFunction> |
SimpleRelationalCReasoner.getModels(RclBeliefSet bbase) |
Copyright © 2019. All rights reserved.